Ensure non-productive search paths are not in path result
Add tests verifying that vertex membership is verified by Search
Check for appropriate cycle-related error on digraph toposort
Add separate df traverser for undirected graphs.

Unsure this is the right way forward, but it works for now