keep debug logs in releases (rust-lang#1049)

Author: tedinski

src/kani-compiler/Cargo.toml

@@ -24,7 +24,7 @@ serde_json = { version = "1", optional = true }
 shell-words = "1.0.0"
 smallvec = { version = "1.6.1", features = ["union", "may_dangle"], optional = true }
 snap = { version = "1", optional = true }
-tracing = {version = "0.1", features = ["max_level_trace", "release_max_level_info"]}
+tracing = {version = "0.1", features = ["max_level_trace", "release_max_level_debug"]}
 tracing-subscriber = {version = "0.3.8", features = ["env-filter", "json", "fmt"]}
 tracing-tree = "0.2.0"