Tools to run Cranelift -> ZK ASM on WASM spec tests for Stage 1

[aborg-dev]

Tasks

Preview Give feedback

1. Import i64 testcases from WASM Spec test #84
   +0
   

[nagisa]

Having thought about this a little more and checked what the rest of the architectures in cranelift do, I believe we don’t actually want to go ham with wasm spec tests super early. One issue with them is that they are aimed at the runtime implementations (i.e. wasmtime) and thus require a good deal of surrounding runtime support to work at all.

On the other hand, cranelift maintains filetests like those that we've been adding with zkasm_data-based tests under filetests/filetests which I think we should port our current tests and add more tests.

If we need inspiration on what tests to add, we can compile interesting modules from the spec tests to clif and then add them to the filetests.

This should also be less up-front work and probably wouldn’t result in the effort being thrown away in case we ended upstreaming this.

[aborg-dev]

We have i32 and i64 spec tests imported now and we have infra to run them as a part of CI, so I'm making this as done.