Function format_report 

pub fn format_report(report: &MetatheoremReport) -> String

Render a MetatheoremReport as the same human-readable text the CLI prints. Useful in tests that want to assert on the rendered output as well as the structured shape.