Use z3py to verify constraints for wasm instructions.

Setup

    pip3 install z3_solver

Run

    python3 addi64.py