Implement the zk circuit simulator glue logic

[ed255]

#4 concerns only on implementing the instructions which most of the time receive some inputs (as registers) and calculate some outputs (as registers).

To verify a trace of execution we need a few more pieces:

• Retrieve opcode from the program at the pc location
• Select the input-output registers for the instruction based on the opcode
• Verify RAM consistency

This mostly corresponds to figure 2 of the Jolt paper:

[jeong0982]

@DoHoonKim8 almost complete lasso impl and we need memory checking, constraint system now.
Lasso uses offline memory checking internally, so he starts to make that generic. You can discuss it in this issue.
For constraint system, if halo2-lasso works well, then we can use halo2-circuit.