klee: do not run -make-nondet passes
klee: do not run -make-nondet passes

Our KLEE now supports __VERIFIER_nondet* stuff.
But keep the passes as an options if we would like to
use the mainstream KLEE in the future.

staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic