Formatted everything with astyle
Cutting down on enum size
Removing commented out stuff from CMakeLists.txt
Forgot to close CMake if with endif
We need boost's system as well
Adding test script
Replacing tabs with 4 spaces
Adding regression test that uses SMT fuzzer