`run-kontrol.sh`: Add description of setting-unsetting pattern

packages/contracts-bedrock/test/kontrol/kontrol/run-kontrol.sh

@@ -39,6 +39,9 @@ kontrol_prove() {
 ###
 # kontrol build options
 ###
+
+# NOTE: This script has a recurring pattern of setting and unsetting variables, such as `rekompile`. Such a pattern is intended for easy use while locally developing and executing the proofs via this script. Comment/uncomment the empty assignment to activate/deactivate the corresponding flag
+
 # NOTE: This script should be executed from the `contracts-bedrock` directory
 lemmas=test/kontrol/kontrol/pausability-lemmas.k
 base_module=PAUSABILITY-LEMMAS