This is just running notes on things where I realize wasm does something fundamentally differently than native code, in a way that seems like it will make optimizations hard.
- Wasm cannot pass pointers from one local environment to another, I believe, so we can't just allocate a value on the stack and pass a pointer to it to another thing up the line. Having an explicit stack of activation records in a memory is probably going to have to happen someday.