Finished Tarjan's SCC algo