feat(specs,tests): implement EIP-8250 keyed nonces for frame transactions

[spencer-tb]

Description

Implements EIP-8250 keyed nonces on the Bogota fork module. Mirrors the planned update to ethereum#3683: Daniil's three commits as written, then ours, which fix the nonce-bytes override on Bogota, revert ethereum#3680's filler-side block access list recording (EELS replay rejects it on the real module), bound the t8n nonce fields and replace the tests with this suite.

Related Issues or PRs

• feat(specs,tests): implement EIP-8250 keyed nonces for frame transactions ethereum/execution-specs#3683, feat(test-specs,tests): record fork activation installs in the block access list ethereum/execution-specs#3680
• Follow-ups: Update EIP-8250: record activation state changes at block access index 0 ethereum/EIPs#12406 (activation in the block access list), Update EIP-8250: small clarifications for alignment EIPs#5 (occupied nonce-manager address)
• Tracker: Hegota EL EIP Scoping Tracker ethereum/execution-specs#3664

Checklist

• Ran fast static checks to avoid CI fails, see Code Standards & Verifying Changes: just static
• PR title has the form <type>(<area>): <title>, where <type> and <area> come from an appropriate C-<type>, respectively A-<area>, label. The title should match the target squash commit message.

Cute Animal Picture