Fix bug script permissions

Author: samarth-aws

docker/dh/verify-core-assumptions-bug.sh

@@ -9,8 +9,8 @@ SCRIPT_DIR=$(realpath "$PWD")
 # Verify that the core invariant is maintained by proving the absence of writes to core instances
 /bin/bash "$SCRIPT_DIR/argot-proofs/dh-invariant-proof.sh"
 
-# Verify that each core instance does not escape the goroutine in which it is created
-/bin/bash "$SCRIPT_DIR/argot-proofs/dh-concurrency-proof.sh"
+# TODO Verify that each core instance does not escape the goroutine in which it is created
+# /bin/bash "$SCRIPT_DIR/argot-proofs/dh-concurrency-proof.sh"
 
 # Verify that no arguments to core functions alias each other
 /bin/bash "$SCRIPT_DIR/argot-proofs/dh-argument-alias-proof.sh"