fn group_verifiers(verifiers: Vec<Verifier>) -> BTreeMap<PathBuf, Vec<Verifier>>
Build the return format: A map from “canonicalized path” to lists of Verifiers