[WIP] Better generator for CALL*

[axic]

Depends on #298.

[axic]

This fails with:

Calling evm2wasm.js (input 16 bytes)...
(Calling evm2wasm.js with command: evm2wasm.js -e /tmp/hera.evm2wasm.evm.AWTs05 -o /tmp/hera.evm2wasm.wasm.36dVkq --charge-per-op)
Error:Error: validate failed:
arbitraryModuleName:61:19: error: type mismatch in call, expected [i64, i32, i32, i32, i32, i32, i32] but got [i32, i64, i32, i32, i32, i32]
        (i32.eqz (call $call(call $check_overflow_i64
                  ^^^^
arbitraryModuleName:70:6: error: type mismatch in function, expected [] but got [... i64, i32, i32, i32]
    (i64.store (i32.add (get_global $sp) (i32.const -248)) (i64.const 0)));; ...
     ^^^^^^^^^

evm2wasm.js failed
Transcompiling via evm2wasm.js failed
Calling evm2wasm.js (input 16 bytes)...
(Calling evm2wasm.js with command: evm2wasm.js -e /tmp/hera.evm2wasm.evm.0Rfz0P -o /tmp/hera.evm2wasm.wasm.fjIdGf --charge-per-op)
Error:Error: validate failed:
arbitraryModuleName:61:19: error: type mismatch in call, expected [i64, i32, i32, i32, i32, i32, i32] but got [i32, i64, i32, i32, i32, i32]
        (i32.eqz (call $callCode(call $check_overflow_i64
                  ^^^^
arbitraryModuleName:70:6: error: type mismatch in function, expected [] but got [... i64, i32, i32, i32]
    (i64.store (i32.add (get_global $sp) (i32.const -248)) (i64.const 0)));; ...
     ^^^^^^^^^

evm2wasm.js failed
Transcompiling via evm2wasm.js failed
Calling evm2wasm.js (input 6 bytes)...
(Calling evm2wasm.js with command: evm2wasm.js -e /tmp/hera.evm2wasm.evm.hF8g4J -o /tmp/hera.evm2wasm.wasm.Cf6kse --charge-per-op)
evm2wasm.js done (output 550 bytes)
Executing...
importGlobals
Trap condition: unreachable
Calling evm2wasm.js (input 14 bytes)...
(Calling evm2wasm.js with command: evm2wasm.js -e /tmp/hera.evm2wasm.evm.GgQEZN -o /tmp/hera.evm2wasm.wasm.em4Ywn --charge-per-op)
Error:Error: validate failed:
arbitraryModuleName:70:19: error: type mismatch in call, expected [i64, i32, i32, i32, i32, i32, i32, i32, i32] but got [i32, i64, i32, i32, i32, i32, i32, i32]
        (i32.eqz (call $callDelegate(call $check_overflow_i64
                  ^^^^
arbitraryModuleName:79:6: error: type mismatch in function, expected [] but got [... i32, i32, i32, i32]
    (i64.store (i32.add (get_global $sp) (i32.const -312)) (i64.const 0)));; ...
     ^^^^^^^^^

evm2wasm.js failed
Transcompiling via evm2wasm.js failed