Explore graph layout improvements #78
Description
Following the realization that pretty-printing DOT changes the layout, it makes sense to explore layout improvements.
We need to understand what causes the changes (are things reordered, or is it something else) and see if we can solve the very squiggly edges without messing up the cases where layout is actually kinda nice.
This will probably require quite a bit of experimentation, and a reasonable dataset of "nice looking" and "bad looking" graphs (that can luckily be easily collected from the CFGBot,)