fix: workflow files with 0.8.33 solc

Author: juliaaschmidt

.github/workflows/Certora.yaml

@@ -35,8 +35,8 @@ jobs:
       - name: Install solc
         run: |
           pip install solc-select
-          solc-select install 0.8.20
-          solc-select use 0.8.20
+          solc-select install 0.8.33
+          solc-select use 0.8.33
 
       - name: Verify conf ${{ matrix.params.name }}
         run: >

.github/workflows/foundry-gas-diff.yml

@@ -18,7 +18,7 @@ jobs:
       - name: Install Foundry
         uses: onbjerg/foundry-toolchain@v1
         with:
-          version: nightly-de33b6af53005037b463318d2628b5cfcaf39916
+          version: nightly
 
       # Add any step generating a gas report to a temporary file named gasreport.ansi. For example:
       - name: Run tests