Function verify_llvm_ir 

pub(super) fn verify_llvm_ir(cg: &mut UnstableOptions, v: Option<&str>) -> bool