Add SimplifyExpressions command line option

Allow users to bypass ConstraintManager::simplifyExpr(ref<Expr>).