Merge pull request #4540 from ethereum-optimism/jm/ci-echidna-off

ci: Disable echidna jobs in CI

.circleci/config.yml

@@ -831,45 +831,6 @@ workflows:
       - contracts-bedrock-tests:
           requires:
             - yarn-monorepo
-      - bedrock-echidna-build:
-          requires:
-            - yarn-monorepo
-      - bedrock-echidna-run:
-          name: Bedrock Echidna Alias Test
-          echidna_target: aliasing
-          requires:
-            - bedrock-echidna-build
-      - bedrock-echidna-run:
-          name: Bedrock Echidna Eth Burn Test
-          echidna_target: "burn:eth"
-          requires:
-            - bedrock-echidna-build
-      - bedrock-echidna-run:
-          name: Bedrock Echidna Gas Burn Test
-          echidna_target: "burn:gas"
-          size: 2xlarge
-          requires:
-            - bedrock-echidna-build
-      - bedrock-echidna-run:
-          name: Bedrock Echidna Encoding Test
-          echidna_target: encoding
-          requires:
-            - bedrock-echidna-build
-      - bedrock-echidna-run:
-          name: Bedrock Echidna Metering Test
-          echidna_target: metering
-          requires:
-            - bedrock-echidna-build
-      - bedrock-echidna-run:
-          name: Bedrock Echidna Hashing Test
-          echidna_target: hashing
-          requires:
-            - bedrock-echidna-build
-      - bedrock-echidna-run:
-          name: Bedrock Echidna Portal Test
-          echidna_target: portal
-          requires:
-            - bedrock-echidna-build
       - op-bindings-build:
           requires:
             - yarn-monorepo