Added check for QF_BV in QF_UFBV tactic.
Added check for QF_BV in QF_UFBV tactic.

mschlaipfer/z3,wujunzero/z3,wujunzero/z3,wujunzero/z3,seahorn/z3,seahorn/z3,mschlaipfer/z3,kyledewey/z3,kyledewey/z3,mschlaipfer/z3,mschlaipfer/z3,seahorn/z3,wujunzero/z3,wujunzero/z3,mschlaipfer/z3,kyledewey/z3,seahorn/z3,mschlaipfer/z3,wujunzero/z3,kyledewey/z3,seahorn/z3,seahorn/z3,kyledewey/z3,kyledewey/z3