The first cycle in this cyclic graph, as a List of vertices in the order in which they occur in the cycle.
This is currently written with recursion, but pathologically deep module dependency graphs could overflow the Java stack.