check if the verifier program matches a build of the current revision

Signed-off-by: Jun Kimura <jun.kimura@datachain.jp>

Author: bluele

.github/workflows/test.yml

@@ -15,3 +15,5 @@ jobs:
       - uses: Swatinem/rust-cache@v2
       - run: cargo test
       - run: cargo test --manifest-path=./zkvm/risc0/Cargo.toml -- --nocapture
+      - run: ZKDCAP_RISC0_BUILD=1 cargo build -r --manifest-path=./zkvm/risc0/Cargo.toml
+      - run: git diff --exit-code