Faster bounds checking for Wasm Memory64

[Paolo Severini]

Hi all,

I wrote a small design doc with a proposal to speed up bounds checkings for 64-bit memories in Wasm, with the use of trap handling, as it was discussed here a long time ago.

Wasm Memory64 Out of Bounds Trap Handling - Google Docs

Let me know if you think it might make sense.
Thanks,

Paolo