chore: upgrade to sp1 4.1.4 (#2167)

Author: jtguibas

.github/actions/setup/action.yml

@@ -77,8 +77,8 @@ runs:
           ~/.cargo/git/db/
           target/
           ~/.rustup/
-        key: rust-
-        restore-keys: rust-
+        key: sp1-rust-
+        restore-keys: sp1-rust-
 
     - name: Setup toolchain
       id: rustc-toolchain

.github/workflows/pr.yml

@@ -152,6 +152,15 @@ jobs:
           RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native
           RUST_BACKTRACE: 1
 
+      - name: Run cargo test with Blake3 PV hashing
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+          args: --release --package sp1-verifier -F blake3
+        env:
+          RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native
+          RUST_BACKTRACE: 1
+
   lint:
     name: Formatting & Clippy
     runs-on: [runs-on, runner=16cpu-linux-x64, disk=large, "run-id=${{ github.run_id }}"]