More test cases
Kosaraju SCC (works but slow)
Precompute adjacency list to for massive speedup