correct iterative version of kosarajus dfs algo for strongly connected components