Removing excess verbosity from ApproxSimplex (after discussing with Tim)
fixed bv rewrite rule bug
Change SMT-EVAL run-script to use Tim's best QF_LRA command-line parameters
Disabling an incorrect prototyping line from the simplex merges.  Fixes bug 510.