[SNEAKER-45] Implement Tarjan's Strongly Connected Graph Algorithm