EIP-8250: pin NONCE_MANAGER to 0x...8250
(AnkushinDaniil), merged. The PR explains that `NONCE_MANAGER`'s address determines the storage slots keyed nonces live in, so two clients that pick different values do not share a chain; the address was `0xTBD` while the contract code was already pinned. Both known implementations independently chose the address equal to the EIP number, matching the `EXPIRY_VERIFIER = 0x...8141` convention in EIP-8141.
