Winch is missing support for most of the WebAssembly proposals supported by Cranelift (even the ones that are implemented and not enabled by default). The goal of this issue is to track support for the memory64 proposal. The bulk of the work here is to follow-up on the changes introduced in #7894
