Right now opcodes are stubbed, but we want to write a circuit for each that will take in the trace and validate it's valid for that particular opcode.

There are many opcodes, each with several address modes. This is the milestone to track each one.