Set default-features = false on new internal dependencies

All new binius crate dependencies introduced in this PR should use
default-features = false, with rayon features wired up through
dependent feature flags. Also applies the same pattern to
binius-spartan-prover's existing dependencies.

Author: jimpo

crates/prover/Cargo.toml

@@ -11,13 +11,13 @@ workspace = true
 binius-core = { path = "../core" }
 binius-field = { path = "../field" }
 binius-hash = { path = "../hash", default-features = false }
-binius-iop = { path = "../iop" }
+binius-iop = { path = "../iop", default-features = false }
 binius-iop-prover = { path = "../iop-prover", default-features = false }
 binius-ip-prover = { path = "../ip-prover", default-features = false }
 binius-math = { path = "../math" }
-binius-spartan-frontend = { path = "../spartan-frontend" }
+binius-spartan-frontend = { path = "../spartan-frontend", default-features = false }
 binius-spartan-prover = { path = "../spartan-prover", default-features = false }
-binius-spartan-verifier = { path = "../spartan-verifier" }
+binius-spartan-verifier = { path = "../spartan-verifier", default-features = false }
 binius-transcript = { path = "../transcript" }
 binius-verifier = { path = "../verifier", default-features = false }
 binius-utils = { path = "../utils" }
@@ -91,4 +91,4 @@ harness = false
 
 [features]
 default = ["rayon"]
-rayon = ["binius-utils/rayon", "binius-hash/rayon", "binius-iop-prover/rayon", "binius-ip-prover/rayon"]
+rayon = ["binius-utils/rayon", "binius-hash/rayon", "binius-iop/rayon", "binius-iop-prover/rayon", "binius-ip-prover/rayon", "binius-spartan-prover/rayon"]

crates/spartan-prover/Cargo.toml

@@ -9,16 +9,16 @@ workspace = true
 
 [dependencies]
 binius-field = { path = "../field" }
-binius-iop = { path = "../iop" }
-binius-iop-prover = { path = "../iop-prover" }
-binius-ip = { path = "../ip" }
-binius-ip-prover = { path = "../ip-prover" }
-binius-math = { path = "../math" }
-binius-transcript = { path = "../transcript" }
-binius-spartan-frontend = { path = "../spartan-frontend" }
-binius-spartan-verifier = { path = "../spartan-verifier" }
-binius-utils = { path = "../utils" }
 binius-hash = { path = "../hash", default-features = false }
+binius-iop = { path = "../iop", default-features = false }
+binius-iop-prover = { path = "../iop-prover", default-features = false }
+binius-ip = { path = "../ip", default-features = false }
+binius-ip-prover = { path = "../ip-prover", default-features = false }
+binius-math = { path = "../math", default-features = false }
+binius-transcript = { path = "../transcript", default-features = false }
+binius-spartan-frontend = { path = "../spartan-frontend", default-features = false }
+binius-spartan-verifier = { path = "../spartan-verifier", default-features = false }
+binius-utils = { path = "../utils", default-features = false }
 digest.workspace = true
 itertools.workspace = true
 rand.workspace = true
@@ -38,4 +38,4 @@ smallvec.workspace = true
 
 [features]
 default = ["rayon"]
-rayon = ["binius-utils/rayon"]
+rayon = ["binius-utils/rayon", "binius-hash/rayon", "binius-iop/rayon", "binius-iop-prover/rayon", "binius-ip-prover/rayon", "binius-math/rayon"]

crates/verifier/Cargo.toml

@@ -15,8 +15,8 @@ binius-hash = { path = "../hash", default-features = false }
 binius-iop = { path = "../iop", default-features = false }
 binius-math = { path = "../math" }
 binius-transcript = { path = "../transcript" }
-binius-spartan-frontend = { path = "../spartan-frontend" }
-binius-spartan-verifier = { path = "../spartan-verifier" }
+binius-spartan-frontend = { path = "../spartan-frontend", default-features = false }
+binius-spartan-verifier = { path = "../spartan-verifier", default-features = false }
 binius-utils = { path = "../utils" }
 bytemuck.workspace = true
 bytes.workspace = true