fix: update CI, makefile and add profile test-release (#439)

.github/workflows/ci.yml

@@ -66,7 +66,7 @@ jobs:
       matrix:
         toolchain: [stable, nightly]
         os: [ubuntu]
-        args: [--release --features 'concurrent,testing']
+        args: ["--profile test-release --features concurrent,testing"]
     timeout-minutes: 30
     steps:
       - uses: actions/checkout@v4

Cargo.toml

@@ -1,16 +1,17 @@
 [workspace]
-members = [
-  "miden-lib",
-  "miden-tx",
-  "mock",
-  "objects",
-]
+members = ["miden-lib", "miden-tx", "mock", "objects"]
 resolver = "2"
 
 [profile.release]
 codegen-units = 1
 lto = true
 
+[profile.test-release]
+inherits = "release"
+debug = true
+debug-assertions = true
+overflow-checks = true
+
 [profile.bench]
 codegen-units = 1
 lto = true

Makefile

@@ -1,5 +1,8 @@
+PROFILE_TEST=--profile test-release
+FEATURES_CONCURRENT_TESTING=--features concurrent,testing
+
 watch:
 	cargo watch -w miden-lib/asm -x build
 
 test:
-	cargo test --release --features concurrent,testing
+	cargo test $(PROFILE_TEST) $(FEATURES_CONCURRENT_TESTING)