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