Add a test utility: assert_opecode().