Checks internal invariants of evm state.

ConstructState initializes and returns a new contract state with an empty state dictionary.

State represents the on-chain state of an EVM contract.

Tombstone represents a marker for contracts that have been self-destructed.

TransientData represents transient storage data in an EVM contract.

TransientDataLifespan represents the lifespan of transient data.