review: remove std feature from binary, make concurrent default

bin/proving-service/Cargo.toml

@@ -14,23 +14,21 @@ edition.workspace = true
 [[bin]]
 name = "miden-proving-service"
 path = "src/main.rs"
-required-features = ["std"]
 
 [features]
-default = ["std"]
-std = ["miden-objects/std", "miden-tx/std", "dep:tokio", "dep:tonic-web", "dep:tokio-stream", "dep:axum",  "dep:tracing", "dep:tracing-subscriber", "tonic/transport"]
+default = ["concurrent"]
 testing = ["miden-objects/testing", "miden-lib/testing", "miden-tx/testing"]
-concurrent = ["miden-lib/concurrent", "miden-objects/concurrent", "miden-tx/concurrent", "std"]
+concurrent = ["miden-lib/concurrent", "miden-objects/concurrent", "miden-tx/concurrent"]
 
 [dependencies]
 async-trait = "0.1"
-axum = {version = "0.7", optional = true }
+axum = {version = "0.7" }
 bytes = "1.0"
 clap = { version = "4.5", features = ["derive"] }
 figment = { version = "0.10", features = ["toml", "env"] }
 miden-lib = { workspace = true, default-features = false }
-miden-objects = { workspace = true, default-features = false }
-miden-tx = { workspace = true, default-features = false }
+miden-objects = { workspace = true, default-features = false, features = ["std"] }
+miden-tx = { workspace = true, default-features = false, features = ["std"] }
 once_cell = "1.19"
 opentelemetry = { version = "0.27", features = ["metrics", "trace"] }
 opentelemetry-otlp = { version = "0.27", features = ["grpc-tonic"] }
@@ -46,16 +44,16 @@ pingora-limits = "0.4"
 reqwest = { version = "0.11" }
 serde = { version = "1.0", features = ["derive"] }
 serde_qs = { version = "0.13" }
-tokio = { version = "1.38", optional = true, features = ["full"] }
-tokio-stream = { version = "0.1", optional = true, features = [ "net" ]}
+tokio = { version = "1.38", features = ["full"] }
+tokio-stream = { version = "0.1", features = [ "net" ]}
 toml = { version = "0.8" }
 thiserror = { workspace = true }
 tonic = { version = "0.12", default-features = false, features = ["prost", "codegen", "transport"] }
 tonic-health = { version = "0.12" }
-tonic-web = { version = "0.12", optional = true }
-tracing = { version = "0.1", optional = true }
+tonic-web = { version = "0.12" }
+tracing = { version = "0.1" }
 tracing-opentelemetry = "0.28"
-tracing-subscriber = { version = "0.3", features = ["fmt",  "json",  "env-filter"], optional = true }
+tracing-subscriber = { version = "0.3", features = ["fmt",  "json",  "env-filter"] }
 uuid = { version = "1.11", features = ["v4"] }
 winter-maybe-async = { version = "0.10" }