[suggestion] return status check/result monad exception mode

[gkgoat1]

I want to compile JS to WASM without using the exceptions extension (so I can compile it further), but I do not want to abort the process on exceptions (I want to catch them). An exception mode that uses multivalue to communicate the presence of an exception would be great.