Detecting Cycles and Loops in a Dependency Graph

A depth-first cycle detector that reports the actual cycle path, why the obvious visited-set version is wrong, and what to use when there are many cycles.