merge in teh partial assert fix as directed to control_flow_log to be working from the same base as Henrik for ubet
seems like it was intended to have graphviz forest output have configurable labels, make that possible so can tag with basic block later
make changing node colour possible so that can highlight control flow affecting nodes in the base graph
since the graphs tend to be long and spaghetti skinny, allow for production of just the control flow affecting graph, though this may drop some labels? will have to see how this applies to ubet in a hot minute