testcnf is no longer having stack overflows, added decent test functionality for cnf, but maybe someone can actually fix the cnf implementation