Update CMakeLists.txt to compile with optimizations.

minisat runs 10x faster on my system with this change.