pub fn verify(
    multi_index_path: PathBuf,
    progress: impl Progress,
    should_interrupt: &AtomicBool
) -> Result<()>