slight changes in scripts + disableLocalTypeChecking

certora/scripts/Governor.sh

@@ -4,4 +4,4 @@ certoraRun certora/harnesses/GovernorHarness.sol \
     --staging \
     --msg $1 \
     --disableLocalTypeChecking \
-    --rule voteStartBeforeVoteEnd
+    --rule voteStartBeforeVoteEnd

certora/scripts/sanity.sh

@@ -8,4 +8,4 @@ do
     --solc solc8.0 \
     --staging \
     --msg "sanity ${file}"
-done
+done