test(mbt): Add Model Based Test for Emerald

This patch connects the newly added Quint specs to Emerald's code via
the Quint Connect library.

Author: erickpintor

.github/workflows/test.yml

@@ -8,6 +8,7 @@ on:
 
 permissions:
   contents: read
+  packages: read
 
 # If new code is pushed to a PR branch, then cancel in progress workflows for that PR.
 # Ensures that we don't waste CI time, and returns results quicker.
@@ -57,11 +58,64 @@ jobs:
       - name: Run Forge build
         run: forge build
         if: steps.filter.outputs.code == 'true'
-      - name: Run tests
+      - name: Run unit tests
         run: |
           cargo nextest run \
             --workspace \
             --all-features \
             --no-fail-fast \
-            --failure-output final
+            --failure-output final \
+            --filterset 'not package(emerald-mbt)'
+        if: steps.filter.outputs.code == 'true'
+
+  mbt:
+    name: MBT Tests
+    runs-on: ubuntu-latest
+    # XXX: Do not block on MBT initially until we gain confidence CI is not
+    # flaky for any reason.
+    continue-on-error: true
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v5
+        with:
+          submodules: recursive
+      - id: filter
+        uses: dorny/paths-filter@v3
+        with:
+          filters: |
+            code:
+              - '**/*.rs'
+              - '**/*.qnt'
+              - 'Makefile'
+              - '**/Cargo.toml'
+              - '**/Cargo.lock'
+              - '**/*.sh'
+              - '*/workflows/test.yml'
+      - name: Setup Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: '22'
+      - name: Install Quint
+        run: npm install -g @informalsystems/quint
+      - name: Login to GitHub Container Registry
+        uses: docker/login-action@v3
+        with:
+          registry: ghcr.io
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+      - name: Install Protoc
+        uses: arduino/setup-protoc@v3
+        with:
+          repo-token: ${{ secrets.GITHUB_TOKEN }}
+      - name: Setup Rust toolchain
+        uses: actions-rust-lang/setup-rust-toolchain@v1
+        with:
+          toolchain: nightly
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+      - name: Run Forge build
+        run: forge build
+        if: steps.filter.outputs.code == 'true'
+      - name: Run MBT tests
+        run: make mbt-test
         if: steps.filter.outputs.code == 'true'