Update docs and add reflection

Author: Mirko-von-Leipzig

Cargo.lock

@@ -107,7 +107,7 @@ install-node: ## Installs node
 
 .PHONY: install-remote-prover
 install-remote-prover: ## Install remote prover's CLI
-	$(BUILD_PROTO) cargo install --path bin/remote-prover --bin miden-remote-prover --features concurrent --locked
+	$(BUILD_PROTO) cargo install --path bin/remote-prover --bin miden-remote-prover --locked
 
 .PHONY: stress-test-smoke
 stress-test: ## Runs stress-test benchmarks

Makefile

@@ -15,28 +15,30 @@ version.workspace      = true
 workspace = true
 
 [dependencies]
-anyhow                = { workspace = true }
-async-trait           = { version = "0.1" }
-clap                  = { features = ["env"], workspace = true }
-http                  = { workspace = true }
-humantime             = { workspace = true }
-miden-block-prover    = { workspace = true }
-miden-node-proto      = { workspace = true }
-miden-node-utils      = { workspace = true }
-miden-protocol        = { features = ["std"], workspace = true }
-miden-tx              = { features = ["concurrent", "std"], workspace = true }
-miden-tx-batch-prover = { features = ["std"], workspace = true }
-opentelemetry         = { version = "0.31" }
-prost                 = { default-features = false, features = ["derive"], workspace = true }
-serde                 = { features = ["derive"], version = "1.0" }
-tokio                 = { features = ["full"], workspace = true }
-tokio-stream          = { features = ["net"], version = "0.1" }
-tonic                 = { default-features = false, features = ["codegen", "router", "transport"], version = "0.14" }
-tonic-health          = { version = "0.14" }
-tonic-prost           = { workspace = true }
-tonic-web             = { version = "0.14" }
-tower-http            = { features = ["trace"], workspace = true }
-tracing               = { workspace = true }
+anyhow                 = { workspace = true }
+async-trait            = { version = "0.1" }
+clap                   = { features = ["env"], workspace = true }
+http                   = { workspace = true }
+humantime              = { workspace = true }
+miden-block-prover     = { workspace = true }
+miden-node-proto       = { workspace = true }
+miden-node-proto-build = { features = ["internal"], workspace = true }
+miden-node-utils       = { workspace = true }
+miden-protocol         = { features = ["std"], workspace = true }
+miden-tx               = { features = ["concurrent", "std"], workspace = true }
+miden-tx-batch-prover  = { features = ["std"], workspace = true }
+opentelemetry          = { version = "0.31" }
+prost                  = { default-features = false, features = ["derive"], workspace = true }
+serde                  = { features = ["derive"], version = "1.0" }
+tokio                  = { features = ["full"], workspace = true }
+tokio-stream           = { features = ["net"], version = "0.1" }
+tonic                  = { default-features = false, features = ["codegen", "router", "transport"], version = "0.14" }
+tonic-health           = { version = "0.14" }
+tonic-prost            = { workspace = true }
+tonic-reflection       = { workspace = true }
+tonic-web              = { version = "0.14" }
+tower-http             = { features = ["trace"], workspace = true }
+tracing                = { workspace = true }
 
 [dev-dependencies]
 miden-protocol  = { features = ["testing"], workspace = true }