Add support for quantifier patterns in smt2 printer.
added some extra options to the bit-vector theory
Update casc24-fnt run script.  Add casc24-fof run script.
Don't allow --stats if not a statistics-enabled build
fix arithmetic error reporting on use of (nonlinear) div,mod,/ symbols