new(tests): extend RJUMP over unreachable code (#1267)

Parametrize and add more test cases for invalid EOF code with RJUMP
over an unreachable instruction.

Author: chfast

converted-ethereum-tests.txt

@@ -24,6 +24,7 @@ EOFTests/efStack/forwards_rjump_.json
 EOFTests/efStack/forwards_rjump_variable_stack_.json
 EOFTests/efStack/forwards_rjumpi_.json
 EOFTests/efStack/forwards_rjumpi_variable_stack_.json
+EOFTests/efStack/unreachable_instructions_.json
 EOFTests/efValidation/callf_into_nonreturning_.json
 EOFTests/efValidation/dataloadn_.json
 EOFTests/efValidation/EOF1_embedded_container_.json

tests/osaka/eip7692_eof_v1/eip4200_relative_jumps/test_rjump.py

@@ -1017,11 +1017,23 @@ def test_rjump_into_returncontract(
     )
 
 
+@pytest.mark.parametrize(
+    "unreachable_op",
+    [Op.STOP, Op.PUSH1[0], Op.PUSH2[0], Op.RJUMP[-3], Op.RJUMP[0], Op.INVALID],
+)
+@pytest.mark.parametrize(
+    "terminating_op",
+    [Op.STOP, Op.RJUMP[-3], Op.INVALID],
+)
 def test_rjump_unreachable_code(
     eof_test: EOFTestFiller,
+    unreachable_op: Op,
+    terminating_op: Op,
 ):
     """EOF code containing instructions skipped by RJUMP."""
-    container = Container.Code(code=(Op.RJUMP[len(Op.STOP)] + Op.STOP + Op.STOP))
+    container = Container.Code(
+        code=(Op.RJUMP[len(unreachable_op)] + unreachable_op + terminating_op)
+    )
     eof_test(
         container=container,
         expect_exception=EOFException.UNREACHABLE_INSTRUCTIONS,

tests/osaka/eip7692_eof_v1/eof_tracker.md

@@ -173,7 +173,7 @@
 - [ ] Check all terminating opcodes (ethereum/tests: ./src/EOFTestsFiller/efExample/validInvalidFiller.yml src/EOFTestsFiller/EIP5450/validInvalidFiller.yml)
 - [ ] Code section not terminating (executing beyond section end) (ethereum/tests: ./src/EOFTestsFiller/efExample/validInvalidFiller.yml src/EOFTestsFiller/EIP5450/validInvalidFiller.yml src/EOFTestsFiller/efStack/no_terminating_instruction_Copier.json)
 - [ ] Code section ending with NOP (not terminating) (src/EOFTestsFiller/EIP5450/validInvalidFiller.yml)
-- [ ] Check that unreachable code is invalid after all terminating instructions (ethereum/tests: src/EOFTestsFiller/EIP5450/validInvalidFiller.yml src/EOFTestsFiller/efStack/unreachable_instructions_Copier.json)
+- [ ] Check that unreachable code is invalid after all terminating instructions (ethereum/tests: src/EOFTestsFiller/EIP5450/validInvalidFiller.yml)
 
 #### Jumps