We really need GC soon, it’s hard to get started on webasm as a compilation target for a GC’d language without it. Also TCO would be incredibly useful for implementing certain languages.
Interestingly Go has wasm target and just uses its own GC which is written in Go :)
That’s exactly what I’d have suggested minus self-hosting part. Just try porting what already works.
With GC and a decent DOM interface, I can place a bet on the end of JS (not within the next 10 years off course).