bugfix: Graph.is_dag must explore every vertex