EIP-7251 open questions / tasks

[ralexstokes]

• Reconsider use of effective balances in computing consolidation (and likely also exit) churn, as the limits are also a function of effective balance and it seems to prevent the possibility of having multiple validators exit each epoch. see here for an example where going one unit past the churn limit does not move to the next epoch
• Reconsider how the "partial withdrawals processed" counter in get_expected_withdrawals works as it is backwards incompatible with that function's signature in previous forks. It is possible we could do something like pop on the pending_partial_withdrawals list, although also see this
• Revisit how deposits are handled between pre-EIP-7251 and post-EIP-7251 (cf. Fix EIP-7251 tests #3656)
• Add EIP-7549 tests and Electra random tests #3670
• EIP-7251: Stricter bound for consolidation queue #3661 note: decided unnecessary
• EIP-7251: Enforce Activation Rate Limit at Fork Transition #3659
• Handle top-ups to exiting/exited validators #3776
• EIP-7251: update exit churn logic #3677
• Handle TODO to update light client g-indices Add EIP-7251 to Electra #3668 (comment)
• Revisit balance processing and exit epoch calculation Add EIP-7251 to Electra #3668 (comment)
• Add EIP-7251 validator guide
• Add EIP-7251 new gossip topics note: shouldn't need any with EL-init'd consolidations
• Consider consolidating the logic across the two functions touched in this PR: EIP-7251: Fix off-by-one in churn computations #3682 and add a test case for the underlying issue EIP-7251: update exit churn logic #3677

Tests to write

Test this: #3679
Revisit this test: #3681 (comment), may just need to manually check "is partially withdrawable", like we do in some other tests