Render `.dot` files in the DevKit

We might be able to use the [ELK](https://eclipse.dev/elk/documentation/tooldevelopers/usingeclipselayout.html) library along with its [Graphviz Dot](https://eclipse.dev/elk/reference/algorithms/org-eclipse-elk-graphviz-dot.html) algorithm to render our CFG `.dot` files in the DevKit. This would avoid needing to load the file in an external tool and allow us to adjust layout settings or other options to better fit our needs.

Start by reviewing the ELK documentation and its Graphviz Dot algorithm reference, then locate how the DevKit currently produces or opens CFG .dot files. Determine the integration scope and layout options needed for in-DevKit rendering; done means CFG .dot files render without an external tool and can use adjustable layout settings.

Written by the indexing model from the issue text.