fix(tests): Prevent EOF max stack height above number of inputs (#1380)

When building EOF code section assert that `max_stack_height`
is at least `code_inputs`.

It will be impossible to encode such code types after
ipsilon/eof#134

Author: chfast

src/ethereum_test_types/eof/v1/__init__.py

@@ -200,6 +200,8 @@ def type_definition(self) -> bytes:
                     auto_code_outputs,
                 )
 
+        assert max_stack_height >= code_inputs, "incorrect max_stack_height value"
+
         return (
             code_inputs.to_bytes(length=TYPES_INPUTS_BYTE_LENGTH, byteorder="big")
             + code_outputs.to_bytes(length=TYPES_OUTPUTS_BYTE_LENGTH, byteorder="big")

src/ethereum_test_types/tests/test_eof_v1.py

@@ -287,12 +287,13 @@
                 Section.Code(
                     "0x00",
                     code_inputs=1,
+                    max_stack_height=1,
                 ),
             ],
         ),
         """
             ef0001 01 0004 02 0001 0001 04 0000 00
-            01800000
+            01800001
             00
             """,
     ),
@@ -303,12 +304,13 @@
                 Section.Code(
                     "0x00",
                     code_inputs=0xFF,
+                    max_stack_height=0xFF,
                 ),
             ],
         ),
         """
             ef0001 01 0004 02 0001 0001 04 0000 00
-            ff800000
+            ff8000ff
             00
             """,
     ),

tests/osaka/eip7692_eof_v1/eip3540_eof_v1/test_container_validation.py

@@ -1081,7 +1081,7 @@ def test_valid_containers(
                     code=(Op.POP * (MAX_CODE_INPUTS + 1)) + Op.RETF,
                     code_inputs=(MAX_CODE_INPUTS + 1),
                     code_outputs=0,
-                    max_stack_height=0,
+                    max_stack_height=(MAX_CODE_INPUTS + 1),
                 ),
             ],
             validity_error=EOFException.INPUTS_OUTPUTS_NUM_ABOVE_LIMIT,

tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_nonreturning_validation.py

@@ -66,7 +66,14 @@ def test_first_section_with_inputs(
     """Test EOF validation failing because the first section has non-zero number of inputs."""
     eof_test(
         container=Container(
-            sections=[Section.Code(code, code_inputs=inputs, code_outputs=outputs)],
+            sections=[
+                Section.Code(
+                    code,
+                    code_inputs=inputs,
+                    code_outputs=outputs,
+                    max_stack_height=max(inputs, outputs),
+                )
+            ],
             validity_error=EOFException.INVALID_FIRST_SECTION_TYPE,
         )
     )