[GR-22495] Enable checking blacklisted methods on SVM build

PullRequest: graalpython/925

Author: timfel

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/builtins/objects/cell/PCell.java

@@ -91,7 +91,7 @@ public void setRef(Object ref, Assumption constantAssumption) {
         assert constantAssumption == effectivelyFinal;
         if (constantAssumption.isValid()) {
             if (this.ref != null) {
-                constantAssumption.invalidate();
+                invalidateAssumption(constantAssumption);
             }
         }
         this.ref = ref;

mx.graalpython/mx_graalpython.py

@@ -965,7 +965,7 @@ def update_import_cmd(args):
 
     with open(join(overlaydir, "python", "vm-tests.json"), 'w') as fp:
         json.dump(d, fp, indent=2)
-        
+
     repos_updated = []
 
     # now allow dependent repos to hook into update
@@ -1266,8 +1266,7 @@ def verify_ci(dest_suite, common_ci_dir="ci_common", args=None, ext=('.jsonnet',
             jar_distributions=['graalpython:GRAALPYTHON-LAUNCHER'],
             main_class='com.oracle.graal.python.shell.GraalPythonMain',
             # build_args=['-H:+RemoveSaturatedTypeFlows'],
-            # build_args=['-H:+TruffleCheckBlackListedMethods'],
-            build_args=[],
+            build_args=['-H:+TruffleCheckBlackListedMethods'],
             language='python',
         )
     ],