Ethereum Foundation and Verity complete EIP-8282 verification

The Ethereum Foundation and Verity performed a formal verification of the EIP-8282 execution bytecode for Ethereum builder deposit and exit contracts.

The organizations identified discrepancies in the EIP-8282 builder contract that require resolution.