Use Listable to prove equality of registers and opcodes

Use Listable to prove equality of registers and opcodes #864