fn format_shrink_progress_message(
phase: &str,
sequence: &[BasicTxDetails],
identified_contracts: Option<&ContractsByAddress>,
show_solidity: bool,
) -> Stringfn format_shrink_progress_message(
phase: &str,
sequence: &[BasicTxDetails],
identified_contracts: Option<&ContractsByAddress>,
show_solidity: bool,
) -> String