finish strongly connected component algorithms.
now dfs non recursion version can compute discover and finish correctly