In randomized tests, only do voluntary exit if no pending withdrawals (#4553)

Associated with:

* #4531

Now that there are random pending withdrawals in the state, the function
which adds random voluntary exits must be updated to not exit validators
with pending withdrawals, which is disallowed via gossip & the protocol.

This broke when generating reference tests.

Author: jtraglia

setup.py

@@ -285,8 +285,7 @@ def run(self) -> None:
         "specs": "specs",
         "sync": "sync",
     },
-    packages=find_packages(where="tests/core/pyspec")
-    + ["configs", "presets", "specs", "presets", "sync"],
+    packages=find_packages(where="tests/core/pyspec") + ["configs", "presets", "specs", "sync"],
     py_modules=["eth2spec"],
     cmdclass=commands,
 )

specs/electra/beacon-chain.md

@@ -1634,7 +1634,6 @@ def process_voluntary_exit(state: BeaconState, signed_voluntary_exit: SignedVolu
     assert get_current_epoch(state) >= validator.activation_epoch + SHARD_COMMITTEE_PERIOD
     # [New in Electra:EIP7251]
     # Only exit validator if it has no pending withdrawals in the queue
-
     assert get_pending_balance_to_withdraw(state, voluntary_exit.validator_index) == 0
     # Verify signature
     domain = compute_domain(

tests/core/pyspec/eth2spec/test/helpers/multi_operations.py

@@ -7,6 +7,7 @@
 )
 from eth2spec.test.helpers.bls_to_execution_changes import get_signed_address_change
 from eth2spec.test.helpers.deposits import build_deposit, deposit_from_context
+from eth2spec.test.helpers.forks import is_post_electra
 from eth2spec.test.helpers.keys import privkeys, pubkeys
 from eth2spec.test.helpers.proposer_slashings import get_valid_proposer_slashing
 from eth2spec.test.helpers.state import (
@@ -173,7 +174,11 @@ def _eligible_for_exit(spec, state, index):
 
     not_exited = validator.exit_epoch == spec.FAR_FUTURE_EPOCH
 
-    return not_slashed and active_for_long_enough and not_exited
+    no_pending_withdrawals = True
+    if is_post_electra(spec):
+        no_pending_withdrawals = spec.get_pending_balance_to_withdraw(state, index) == 0
+
+    return not_slashed and active_for_long_enough and not_exited and no_pending_withdrawals
 
 
 def get_random_voluntary_exits(spec, state, to_be_slashed_indices, rng):