Add benchmarks for BnB/Naive vc.
Add circo support to graph visualizer.