Added some tests for the kth2dimacs module.