Hide some minisat output when maximising/minimising and verbosity = 0.
Some unit tests targeted at SatWrapper.