Function verify_file 

pub fn verify_file(path: &Path, language: &str) -> Result<QualityReport>

Verify a single file with language-specific checks.