pub fn format_text(report: &ProofStatusReport) -> String
Format a proof status report as human-readable text.