Making arithmetic model reversion on unsat checks an option.
Don't allow --stats if not a statistics-enabled build