Add first pass at Kosaraju's 2-sat algorithm.