Function verify_macho 

pub fn verify_macho(macho: &MachOBinary<'_>) -> Vec<VerificationProblem>

Verifies a parsed Mach-O binary.

Returns a vector of problems detected. An empty vector means no problems were found.