Enable optimizer in foundry.toml and fix Certora CI (#11)

* Enable optimizer in toml

* Update certora CI

---------

Co-authored-by: telome <>

Author: telome

.github/workflows/certora.yml

@@ -18,7 +18,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           submodules: recursive
 
@@ -28,10 +28,10 @@ jobs:
           java-version: '11'
           java-package: jre
 
-      - name: Set up Python 3.8
-        uses: actions/setup-python@v3
+      - name: Set up Python 3.13
+        uses: actions/setup-python@v5
         with:
-          python-version: 3.8
+          python-version: 3.13
 
       - name: Install solc-select
         run: pip3 install solc-select

foundry.toml

@@ -3,6 +3,9 @@ src = "src"
 out = "out"
 libs = ["lib"]
 solc = "0.8.21"
+optimizer = true
+optimizer_runs = 200
+evmVersion = "shanghai"
 fs_permissions = [
     { access = "read", path = "./script/input/"},
     { access = "read", path = "./out/"},