pub fn arb_epoch_change_proof() -> impl Strategy<Value = EpochChangeProof>