fn emit_mermaid_cfg(body: &Body<'_>, out: &mut dyn Write) -> Result<()>
Emits a mermaid flowchart of the CFG blocks and edges, similar to the graphviz version.