Cycle Detection via a Failed Topo Sort

If a full ordering can't be produced, the graph has a cycle — the failure itself is the answer.