Fixed issue with getRandomForm getting two zeroes as parameters
Implemented randomized CNF tests