Add GraphViz CFG printer + various improvements