Why prefer 64bit pointers over multiple memory address spaces (https://github.com/WebAssembly/multi-memory)?
Your CPU has to do a lot of work to keep pretending it's memory is flat, If we give up that pretense you can optimize cache utilization and multiplex multiple WASM threads onto a single OS thread without allowing specter.