slight changes change for convenience + disableLocalTypeChecking flag for the hooks

certora/scripts/Governor.sh

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

certora/scripts/sanity.sh

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