chore(deps): bump which from 7.0.3 to 8.0.2

Bumps [which](https://github.com/harryfei/which-rs) from 7.0.3 to 8.0.2.
- [Release notes](https://github.com/harryfei/which-rs/releases)
- [Changelog](https://github.com/harryfei/which-rs/blob/master/CHANGELOG.md)
- [Commits](harryfei/which-rs@7.0.3...8.0.2)

---
updated-dependencies:
- dependency-name: which
  dependency-version: 8.0.2
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

Cargo.lock

@@ -128,7 +128,7 @@ live-provers = ["verisim"]
 [dev-dependencies]
 proptest = "1"
 tokio-test = "0.4"
-which = "7"
+which = "8"
 pretty_assertions = "1"
 criterion = { version = "0.5", features = ["html_reports"] }