Moving DRUP to CNF
Moving DRUP to class
Renaming function that counts memory usage
Making variable limits equivalent everywhere
Using a common 'seen' and 'seen2' to reduce memory usage
enum class Removed only needs to be an unsigned char

This way, it uses less memory
Turn off gate-finding if the number of variables is too high

This limits memory usage
Better and cleaner VarData::stats