Consolidating option fuzzer
Print the solution while fuzzing
Try to add a test to cmake. Not working, but trying
Updating CryptoMiniSat to 2.9.8