build(deps): update bolero requirement from 0.8 to 0.9 (#1690)

Updates the requirements on [bolero](https://github.com/camshaft/bolero) to permit the latest version.
- [Release notes](https://github.com/camshaft/bolero/releases)
- [Changelog](https://github.com/camshaft/bolero/blob/master/CHANGELOG.md)
- [Commits](camshaft/bolero@v0.8.0...v0.9.0)

---
updated-dependencies:
- dependency-name: bolero
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

common/s2n-codec/Cargo.toml

@@ -18,7 +18,7 @@ checked_range_unsafe = []
 generator = ["bolero-generator"]
 
 [dependencies]
-bolero-generator = { version = "0.8", default-features = false, optional = true }
+bolero-generator = { version = "0.9", default-features = false, optional = true }
 byteorder = { version = "1.1", default-features = false }
 bytes = { version = "1", default-features = false, optional = true }
 zerocopy = "0.6"

quic/s2n-quic-core/Cargo.toml

@@ -21,7 +21,7 @@ event-tracing = ["tracing"]
 
 [dependencies]
 atomic-waker = { version = "1", optional = true }
-bolero-generator = { version = "0.8", default-features = false, optional = true }
+bolero-generator = { version = "0.9", optional = true }
 byteorder = { version = "1", default-features = false }
 bytes = { version = "1", optional = true, default-features = false }
 cache-padded = { version = "1", optional = true }
@@ -39,8 +39,8 @@ futures-test = { version = "0.3", optional = true } # For testing Waker interact
 once_cell = { version = "1", optional = true }
 
 [dev-dependencies]
-bolero = "0.8"
-bolero-generator = { version = "0.8", default-features = false }
+bolero = "0.9"
+bolero-generator = "0.9"
 insta = { version = "1", features = ["json"] }
 futures = "0.3"
 futures-test = "0.3"

quic/s2n-quic-core/src/inet/ipv6.rs

@@ -667,7 +667,7 @@ mod tests {
 
     /// Asserts the UnicastScope returned matches a known implementation
     #[test]
-    #[cfg_attr(kani, kani::proof, kani::unwind(2), kani::solver(kissat))]
+    #[cfg_attr(kani, kani::proof, kani::unwind(17), kani::solver(kissat))]
     fn scope_test() {
         let g = gen::<[u8; 16]>().map_gen(IpV6Address::from);
         check!().with_generator(g).cloned().for_each(|subject| {

quic/s2n-quic-crypto/Cargo.toml

@@ -28,7 +28,7 @@ zeroize_derive = { version = "<1.4" }
 [dev-dependencies]
 aes = "0.8"
 aes-gcm = "0.10"
-bolero = "0.8"
+bolero = "0.9"
 ghash = "0.5"
 hex-literal = "0.3"
 insta = { version = "1", features = ["json"] }

quic/s2n-quic-platform/Cargo.toml

@@ -20,7 +20,7 @@ tokio-runtime = ["futures", "pin-project", "tokio"]
 
 [dependencies]
 bach = { version = "0.0.6", optional = true }
-bolero-generator = { version = "0.8", default-features = false, optional = true }
+bolero-generator = { version = "0.9", optional = true }
 cfg-if = "1"
 errno = "0.3"
 futures = { version = "0.3", default-features = false, features = ["async-await"], optional = true }
@@ -37,8 +37,8 @@ libc = "0.2"
 
 [dev-dependencies]
 bach = { version = "0.0.6" }
-bolero = "0.8"
-bolero-generator = { version = "0.8", default-features = false }
+bolero = "0.9"
+bolero-generator = "0.9"
 futures = { version = "0.3", features = ["std"] }
 insta = { version = "1", features = ["json"] }
 s2n-quic-core = { path = "../s2n-quic-core", features = ["testing"] }

quic/s2n-quic-transport/Cargo.toml

@@ -27,7 +27,7 @@ siphasher = "0.3"
 smallvec = { version = "1", default-features = false }
 
 [dev-dependencies]
-bolero = "0.8"
+bolero = "0.9"
 futures-test = "0.3" # For testing Waker interactions
 insta = { version = "1", features = ["json"] }
 s2n-codec = { path = "../../common/s2n-codec", features = ["testing"] }

quic/s2n-quic/Cargo.toml

@@ -69,7 +69,7 @@ zerocopy-derive = { version = "0.3", optional = true }
 zeroize = { version = "1", optional = true, default-features = false }
 
 [dev-dependencies]
-bolero = { version = "0.8" }
+bolero = { version = "0.9" }
 s2n-quic-core = { path = "../s2n-quic-core", features = ["testing", "event-tracing"] }
 s2n-quic-platform = { path = "../s2n-quic-platform", features = ["testing"] }
 tokio = { version = "1", features = ["full"] }