Dump stacks.
A couple opcodes.
Added io register.
Refactored step invariants, more opcodes.