disable effect checker until we know how to deal with compiler generated cruft (see #3705)

analyzer.ml

@@ -1318,7 +1318,7 @@ module Config = struct
 			simplifier_apply = true;
 			ssa_apply = true;
 			const_propagation = not (Common.raw_defined com "analyzer-no-const-propagation");
-			check_has_effect = not (Common.raw_defined com "analyzer-no-check-has-effect");
+			check_has_effect = (Common.raw_defined com "analyzer-check-has-effect");
 			check = not (Common.raw_defined com "analyzer-no-check");
 			local_dce = not (Common.raw_defined com "analyzer-no-local-dce");
 			ssa_unapply = not (Common.raw_defined com "analyzer-no-ssa-unapply");