fixed Kosaraju implementation + added Sedgewick's variant