Debugging. Almost done.
Kosaraju's O(n + m) alg fast and correct for any n.