pub fn verify<I, P>(input: I, color: bool, progress: P) -> Result<()>where I: AsRef<Path>, P: ProgressHandler + Send + Sync,
Checks reproduction for file/dir hkx.
If an error occurs, return a diff showing the location of each error.(If input is one file path)
input