finds size of strongly connected components

uses kosaraju's algorithm