fix(tests): Fix and add cases for BALs tests for SSTORE OOG conditions

[fselmo]

🗒️ Description

Block access lists should record storage reads if SSTORE reverts with out of gas beyond the EIP-2200 stipend check. Refer to conversation in EthR&D here for more details.

Here we test that:

1. OOG at stipend gas (fails stipend check, no implicit SLOAD) -> No changes recorded
2. OOG at stipend gas plus 1 -> Read recorded, no writes
3. OOG at exact SSTORE gas minus 1 -> Read recorded, no writes
4. No OOG, exact gas for SSTORE -> Write recorded, no reads

Requires and fills with spec changes here: fselmo/execution-specs#18

✅ Checklist

• All: Ran fast tox checks to avoid unnecessary CI fails, see also Code Standards and Enabling Pre-commit Checks:

  uvx --with=tox-uv tox -e lint,typecheck,spellcheck,markdownlint

• All: PR title adheres to the repo standard - it will be used as the squash commit message and should start type(scope):.
• All: Considered adding an entry to CHANGELOG.md.
• All: Considered updating the online docs in the ./docs/ directory.
• All: Set appropriate labels for the changes (only maintainers can apply labels).
• Tests: Ran mkdocs serve locally and verified the auto-generated docs for new tests in the Test Case Reference are correctly formatted.

[marioevz]

LGTM, just one small suggestion.

[fselmo]

Note: Will wait to merge this until fselmo/execution-specs#18 is merged and we can update the resolver here for a new bal release with updated vectors.