This is the main interpreter loop.
This is a 'disassembler' for our interpreted code. Useful for debugging.
Give size of opcode.
Verify that it is a correct sequence of code. Useful for isolating memory corruption bugs.
See Implementation