Lab3 with all required files.

Added line to "getRandomFormulas" so it actually terminates; totally missed that :/
Uses the new permutation test thing.