Ethereum Foundation verifies EIP-8282

The Ethereum Foundation has formally verified EIP-8282.