Add SimplifyExpressions command line option

Allow users to bypass ConstraintManager::simplifyExpr(ref<Expr>). This is helpful to experimentally measure the effects of expression simplifications.