This issue is complete when we have a mathematical proof of correctness for the function naive_thickness(). This is important because we don't know the function works without it.

Proofs of optimized checks are already cited.

A proof of correctness for thickness() can be obtained by combining citations for proofs of correctness for optimizations with the proof of correctness of naive_thickness()

We need unit tests for each result from allGraphs.

We should acquire these thickness results from direct proofs or another algorithm. This issue cannot be closed by pulling the result of the function call and placing it in an assert in the test() function.

We must prove the correctness of the results we are using to test the main algorithm.