Thai-style baby barramundi with wok-tossed noodles and greens