If we forget about the pain that most WASM toolchains happen to be.

MicroPython, like most BASIC interpreters in 8 bit days, also allows for inline Assembly.

As for running bytecode on MCU that is as old as MCU themselves, wasm doesn't bring anything to table.

https://en.wikipedia.org/wiki/BASIC_Stamp