Generates beacon chain proofs and encodes EigenPod.verifyCheckpointProofs().
Returns an array of transactions (batched proofs). Must be executed in order after startCheckpoint.

Nonce handling: The nonce is computed at call time. If you prepare multiple transactions before broadcasting, they will share the same nonce and only the first will succeed. Broadcast and confirm each transaction before preparing the next.