Function format_verifier_output 

pub fn format_verifier_output(
    label: &str,
    result: &VerifierVmResult,
    raw: bool,
) -> String

Format verifier results as text: brief lines per program and collapsed logs.