Use Listable to prove equality of registers and opcodes (#2020)

Use Listable to prove equality of registers and opcodes (#2020) #865