feat: support for pure solidity membership proofs via union

.github/workflows/e2e.yml

@@ -72,7 +72,6 @@ jobs:
         with:
           profile: minimal
           toolchain: stable
-          override: true
 
       - name: Get SP1 version
         id: sp1-version

.github/workflows/programs.yml

@@ -27,7 +27,6 @@ jobs:
         with:
           profile: minimal
           toolchain: stable
-          override: true
 
       - name: Install SP1 toolchain
         run: |

.github/workflows/release.yml

@@ -16,7 +16,6 @@ jobs:
         with:
           profile: minimal
           toolchain: stable
-          override: true
       - name: Install SP1 toolchain
         run: |
           curl -L https://sp1.succinct.xyz | bash

.github/workflows/rust.yml

@@ -18,7 +18,6 @@ jobs:
         with:
           profile: minimal
           toolchain: stable
-          override: true
           components: rustfmt, clippy
       - name: Install SP1 toolchain
         run: |
@@ -51,7 +50,6 @@ jobs:
         with:
           profile: minimal
           toolchain: stable
-          override: true
       - name: Install SP1 toolchain
         run: |
           curl -L https://sp1.succinct.xyz | bash
@@ -76,7 +74,6 @@ jobs:
         with:
           profile: minimal
           toolchain: stable
-          override: true
       - name: Install SP1 toolchain
         run: |
           curl -L https://sp1.succinct.xyz | bash

.solhint.json

@@ -12,6 +12,7 @@
     "one-contract-per-file": "off",
     "gas-custom-errors": "off",
     "reason-string": "off",
-    "max-line-length": "off"
+    "max-line-length": "off",
+    "no-inline-assembly": "off"
   }
 }