Expose EigenLayer Slashing Edge Case Causing Double Penalties

EigenLayer's ELIP-002 slashing uses DSF, MM, BCSF to calculate withdrawable shares. A 75% AVS slash and 16 ETH beacon chain slash cause double slashing. Edge case in _reduceSlashingFactor() leads to different results: Scenario A yields 36 ETH shares; Scenario B, 30 ETH. DSF and BCSF inconsistencies slash unstaked ETH due to timing of validator verification and checkpoints.