final updates for smt-eval script
Removing arithmetic compile warning for release
Cutting release 1.2.