pub fn verify_opcode_table() -> Result<(), String>
Verify that our opcode table matches the official specification