Investigate conformance tests running out of memory.

These are skipped for now. There is a memory leak in the interpreter, causing OOM errors.

<img width="1060" height="136" alt="Image" src="https://github.com/user-attachments/assets/6f820c47-834b-4947-a052-215bd5e49e03" />

_Originally posted by @anvacaru in https://github.com/runtimeverification/evm-semantics/pull/2831#discussion_r2623499973_
            