Support for Binaryen's wasm-opt

Right now binaries created by moonbit utilize the Wasm feature of block / if / loop / try parameters e.g. (if (result i32) ...). While valid Wasm (it came from the multi-value proposal) unfortunately Binaryen’s superb optimization utility wasm-opt does not yet support this feature, and it’s unclear when it will.

Curious if it would be an easy change to, at least temporarily, avoid that feature? i.e. sometimes you’d have to use locals instead.

Right now we are waiting for Binaryen to support this feature in their tools because our main focus is the language features, build system, and etc. We will add support for emitting third-party-tool-compatible wasm code after our language features are stabilized. Thanks for your interest!