ci: Fix certora scripts by removing extra arg

Author: miguelmtzinf

certora/scripts/verifyAToken.sh

@@ -4,5 +4,5 @@ certoraRun certora/harness/SimpleERC20.sol \
     --link ATokenHarness:_underlyingAsset=SimpleERC20 \
     --optimistic_loop \
     --solc solc8.10 \
-    --cloud master \
+    --cloud \
     --msg "aToken spec - all rules" 

certora/scripts/verifyPool.sh

@@ -8,6 +8,6 @@ certoraRun certora/harness/PoolHarness.sol \
   --settings -mediumTimeout=700,-depth=40 \
   --optimistic_loop \
   --solc solc8.10 \
-  --cloud master \
+  --cloud \
   --rules $1 \
   --msg "Pool"

certora/scripts/verifyReserveConfiguration.sh

@@ -3,5 +3,5 @@ certoraRun certora/harness/ReserveConfigurationHarness.sol \
     --settings -useBitVectorTheory \
     --optimistic_loop \
     --solc solc8.10 \
-    --cloud master \
+    --cloud \
     --msg "ReserveConfiguration"

certora/scripts/verifyStableTokenCLI.sh

@@ -3,5 +3,5 @@ certoraRun certora/harness/StableDebtTokenHarness.sol:StableDebtTokenHarness \
     --settings -assumeUnwindCond,-b=4 \
     --cache StableToken \
     --solc solc8.10 \
-    --cloud master \
+    --cloud \
     --msg "stableTokenCLI"

certora/scripts/verifyUserConfigCLI.sh

@@ -3,5 +3,5 @@ certoraRun certora/harness/UserConfigurationHarness.sol \
     --settings -useBitVectorTheory \
     --optimistic_loop \
     --solc solc8.10 \
-    --cloud master \
+    --cloud \
     --msg "UserConfiguration All spec" 

certora/scripts/verifyVariableTokenCLI.sh

@@ -2,5 +2,5 @@ certoraRun certora/harness/VariableDebtTokenHarness.sol \
     --verify VariableDebtTokenHarness:certora/specs/VariableDebtToken.spec \
     --optimistic_loop \
     --solc solc8.10 \
-    --cloud master \
+    --cloud \
     --msg "variable debt token"