Completed permutation property testing, now the properties are tested in the correct fashion
Added CNF testing properties and executed numerous tests.