add specs for kosaraju strong components