[Tracking issue] Support WASM opcodes for Stage 2

[aborg-dev]

This is a tracking issue for all new WASM opcodes that we aim to implement in Stage 2.

It will be mainly driven by our needs for #174, #173 and #172.

Tasks

Beta Give feedback

1. Add support for i64.rotr #149
   enhancement good first issue +2
2. Negative division error. #69
   bug +1
   
3. Byte-wise addressing machine #34
   zkasm-design +1
4. zkasm: add infrastructure for address → slot → address translations #43
   +0
5. zkasm: define the basic machine properties… properly #44
   +0
6. zkasm: define a proper ABI #45
   bug +1
7. zkasm: implement memory access operations and memory sections #110
   +0
8. Popcount
9. Select
10. BrTable
11. call_indirect
12. Software support for Floating point numbers

[aborg-dev]

Based on my investigation in #160 (comment), I've added:

• Select
• BrTable
• CallInd