Add and test Tarajan's strong components algorithm