More extensive highlighting

I basically want (configurable) highlighting everywhere.
Click/hover a node? Highlight the relevant lines.
Click a control-flow structure? Highlight it in the graph.
There's a lot of work to do here to make this faster and more intuitive to use.