add cycle detection

This version adds cycle detection as part of the depth-first search we're already doing for the topological sort.