added tests for Tarjan's and Kosaraju's algorithms