stat for ppRewrite in arith
linear div,mod,/
testing
fix models for linear /,div,mod
remove smt engine unnecessary stuff
bugfixes, plus option --rewrite-divk to enable linear ppRewrite of /, div, mod