Function crev_lib::dir_verify

pub fn dir_verify<H1>(
    path: &Path, 
    ignore_list: &HashSet<PathBuf, H1>, 
    db: &ProofDB, 
    trusted_set: &TrustSet
) -> Result<VerificationStatus> where
    H1: BuildHasher + Default,