WyCS: disabled SMTVerification by default, and enabled the original.