feat(tests): EOF - EIP-7620: verify RETURNCONTRACT does not overwrite containing contract

[shemnon]

🗒️ Description

Test the case where adding auxdata to a subcontainer could result in the parent containers data section if the subcontainer were not copied.

✅ Checklist

• All: Set appropriate labels for the changes.
• All: Considered squashing commits to improve commit history.
• All: Added an entry to CHANGELOG.md.
• All: Considered updating the online docs in the ./docs/ directory.
• Tests: All converted JSON/YML tests from ethereum/tests have been added to converted-ethereum-tests.txt.
• Tests: A PR with removal of converted JSON/YML tests from ethereum/tests have been opened.
• Tests: Included the type and version of evm t8n tool used to locally execute test cases: e.g., ref with commit hash or geth 1.13.1-stable-3f40e65.
• Tests: Ran mkdocs serve locally and verified the auto-generated docs for new tests in the Test Case Reference are correctly formatted.

[marioevz]

LGTM.

I'm confused a bit by the premise though: did an implementation overwrite the data of a contract that was already in the state?

Thanks!

[shemnon]

That's exactly what happened, and I only claim trophies for my fuzzer when I have an EEST test demonstrating the breakage: https://github.com/shemnon/execution-spec-tests/blob/shemnon/eof-fuzz/src/ethereum_fuzzer_differential/__init__.py#L20-L22