pub fn check_integrity_attacks(
report: &mut SimReport,
seed: u64,
limits: VerifyLimits,
budget: &TimeBudget,
) -> Result<(), IntegrityError>pub fn check_integrity_attacks(
report: &mut SimReport,
seed: u64,
limits: VerifyLimits,
budget: &TimeBudget,
) -> Result<(), IntegrityError>