fix bug in DFS, added rooted-dfs, improved docstring for find-vertex-between-edges-if