Function render_check 

pub fn render_check(report: &Envelope<CheckSummary>) -> String

Render a check report: one line per diagnostic, then a summary line.