Don't allow choosing more than one solver from the command line

"stp --minisat --cryptominisat" will no longer work. Only one must be
chosen. Fixing fuzzer so it takes this into account.