pub fn verify(
    multi_index_path: PathBuf,
    progress: impl NestedProgress + 'static,
    should_interrupt: &AtomicBool
) -> Result<()>