Tarjan update.
Replaced Tarjan's SCC with Kosaraju's SCC.
Coded 2-SAT solver again.
Shortened union find code.
Renamed union-find.
Updated test header/footer.
Finished renaming dijkstra.