Update rand_core requirement from 0.6 to 0.9

Updates the requirements on [rand_core](https://github.com/rust-random/rand) to permit the latest version.
- [Release notes](https://github.com/rust-random/rand/releases)
- [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md)
- [Commits](rust-random/rand@rand_core-0.6.0...0.9.0)

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

Signed-off-by: dependabot[bot] <[email protected]>

Cargo.toml

@@ -96,7 +96,7 @@ hax-lib = { version = "0.1.0", git = "https://github.com/hacspec/hax/" }
 libcrux = { path = ".", features = ["rand", "tests"] }
 pretty_env_logger = "0.5"
 rand = { version = "0.8" }
-rand_core = { version = "0.6" }
+rand_core = { version = "0.9" }
 quickcheck = "1"
 quickcheck_macros = "1"
 serde_json = { version = "1.0" }

benchmarks/Cargo.toml

@@ -22,7 +22,7 @@ libcrux-ecdh = { path = "../libcrux-ecdh" }
 libcrux-kem = { path = "../libcrux-kem", features = ["tests"] }
 libcrux-ml-kem = { path = "../libcrux-ml-kem" }
 libcrux-sha2 = { path = "../sha2" }
-rand_core = { version = "0.6" }
+rand_core = { version = "0.9" }
 # Benchmarking "RustCrypto"
 chacha20poly1305 = "0.10"
 sha2 = "0.10"

libcrux-ecdh/Cargo.toml

@@ -20,7 +20,7 @@ libcrux-p256 = { version = "=0.0.2-beta.2", path = "../p256", features = [
 ] }
 
 [dev-dependencies]
-rand_core = { version = "0.6" }
+rand_core = { version = "0.9" }
 hex = { version = "0.4.3", features = ["serde"] }
 serde_json = { version = "1.0" }
 serde = { version = "1.0", features = ["derive"] }