EIP-8141: extend with guarantors, flexible nonces and signer binding
(pedrouid), submitted. A guarantor is a payer primitive that admits a transaction to the public mempool even when the sender's `VERIFY` frame is unsafe to simulate; it adopts PR #11555's `APPROVE_GUARANTEE = 0x4` scope and canonical paymaster guarantor mode verbatim.
