Function verifier_reference 

pub fn verifier_reference(default_verifier: Option<&str>) -> String

How harness text names the verifier to run: the resolved command in backticks, or GENERIC_VERIFIER_DESCRIPTION when none was resolved. default_verifier should come from default_verifier_for_workspace or the harness override resolution built on it.