visualize the control flow graph

[mnikander]

• convert CFG to markdown/mermaid code
• visualization is correct for several examples from the unit tests
• create a follow-up ticket to figure out how to call this visualization (do I create a separate script to read IR from a file and visualize it, or do I just visualize every test-case?)