feat: add interop access list FMA

[agusduha]

Description

Adds Failure Modes and Recovery Path Analysis (FMA) for the Interop Access List mechanism.

FMs:

• Gas Introspection Breaks Due to EVM Changes or Compiler Optimizations
• Storage slot collisions
• Unexpected Storage Slot Warming Behavior

Additional context

• Design PR: feat: add interop access list #214
• Specs PR: interop: access-list spec and RPC specs#612

Metadata

Issue: #238

[tynes]

Another failure mode would be that the slot is somehow warmed even tho the item was not in the access list. We have validated that if we call the function and warms the slot by doing a read and it returns isWarm=false then it reverts, cooling the slot again. This seems like it shouldn't work this way from the pov of Ethereum protocol, given warming is meant to represent the value is cached. If its read and then the call reverts, the value can be kept in the cache? Perhaps it rolls back due to a possible dos attack for the cache?