pub(crate) fn shrink_sequence<FEN: FoundryEvmNetwork>(
config: &InvariantConfig,
invariant_contract: &InvariantContract<'_>,
calls: &[BasicTxDetails],
expect_assertion_failure: bool,
executor: &Executor<FEN>,
progress: Option<&ProgressBar>,
early_exit: &EarlyExit,
) -> Result<Vec<BasicTxDetails>>