- Don't exit early from iterators
- Check against an explicit mapping between storage slots and their values
- Add explicit checks for values in the L1Block contract
- Set GasUsed to zero in transition