TIC-80 also has WASM support but is a more capable console IMO.
Here for example is a rust template: https://github.com/nesbox/TIC-80/tree/main/templates/rust
The main reasons I'd personally pick WASM-4 over TIC-80 would be touchscreen controller support, more complete documentation, and better performance on resource constrained devices. (WASM-4 can run on the ESP32 and Nintendo DS, while TIC-80 struggles on the significantly more powerful 3DS.)