CI: add tests for DiffAssertValues resolution

.github/workflows/prove_blocks.yml

@@ -47,4 +47,9 @@ jobs:
           bash scripts/setup-tests.sh
 
       - name: Prove Blocks
-        run: bash scripts/prove-blocks.sh -p ${{ secrets.PATHFINDER_RPC_URL }} -b 76793,76766,76775
+        run: |
+          # These blocks verify the following issues:
+          # * 76793: the first block that we managed to prove, only has a few invoke txs
+          # * 76766 / 76775: additional basic blocks
+          # * 86507 / 124533: a failing assert that happened because we used the wrong VersionedConstants
+          bash scripts/prove-blocks.sh -p ${{ secrets.PATHFINDER_RPC_URL }} -b 76793,76766,76775,86507,124533