7702: write checks in python instead

EIPS/eip-7702.md

@@ -48,14 +48,17 @@ The fields `chain_id`, `nonce`, `max_priority_fee_per_gas`, `max_fee_per_gas`, `
 
 The `authorization_list` is a list of tuples that store the address to code which the signer desires to execute in the context of their EOA. The transaction is considered invalid if the length of `authorization_list` is zero.
 
-The transaction is also considered invalid when any integer field in an
-authorization list cannot fit within the following bounds:
-
-* `chain_id`: `2**256-1`
-* `nonce`:`2**64-1`.
-* `y_parity`: `2**256-1`.
-* `r`: `2**256-1`.
-* `s`: `2**256-1`.
+The transaction is also considered invalid when any field in an authorization
+tuple cannot fit within the following bounds:
+
+```python
+assert auth.chain_id < 2**256
+assert auth.nonce < 2**64
+assert len(auth.address) == 20
+assert auth.y_parity < 2**256
+assert auth.r < 2**256
+assert auth.z < 2**256
+```
 
 The [EIP-2718](./eip-2718.md) `ReceiptPayload` for this transaction is `rlp([status, cumulative_transaction_gas_used, logs_bloom, logs])`.