Function ensure_verification_complete 

fn ensure_verification_complete(
    successful: usize,
    requested: usize,
    skipped_external: usize,
    unmatched_contracts: &[String],
) -> Result<()>