Add basic test for if internal opcode definitions are buggy.