pub fn verify_single( eph_ws: &Workspace<'_>, replace: &[(String, String)], allow_dirty: bool) -> Result<()>