Investigate Honk memory consumption (in Wasm and natively)

[lucasxia01]

I've measured through the double_verify_proof ACIR bb.js test that Honk uses right about 4GiB of memory, while Plonk uses 3.6GiB of memory, potentially less. These numbers could be inaccurate, but we should do more investigation regardless.