chore: fix various spelling issues

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Author: vst

.github/workflows/check-static.yaml

@@ -11,6 +11,6 @@ jobs:
       - name: "Checkout Codebase"
         uses: "actions/checkout@v6"
 
-      - name: "Build Static Exectutable"
+      - name: "Build Static Executable"
         run: |
           bash ./build-static.sh

.github/workflows/release.yml

@@ -28,7 +28,7 @@ jobs:
         if: "${{ steps.release.outputs.release_created }}"
         uses: "DeterminateSystems/nix-installer-action@v21"
 
-      - name: "Build Static Exectutable"
+      - name: "Build Static Executable"
         id: "build_static"
         if: "${{ steps.release.outputs.release_created }}"
         run: |

.stan.toml

@@ -1,6 +1,6 @@
 # Big tuples
 # Using tuples of big size (>= 4) can decrease code readability
-# In serveral places Stack uses 4-tuples and in one place Stack uses a
+# In several places Stack uses 4-tuples and in one place Stack uses a
 # 5-tuple.
 [[check]]
 id = "STAN-0302"