Things that can trap:
- out-of-bounds memory access
- out-of-bounds call_indirect
- indirect call signature mismatch
Stack overflow is currently unspecified, so that we can return the same error as JS would on stack overflow.
Two useful references:
This seems related: https://github.com/WebAssembly/design/issues/883
I think this was done in other bugs, closing.