build: optimize dev builds (snarkvm-style profiles), build-both.sh arg pass-through

Without profile overrides maturin develop produced a genuinely unoptimized
extension — proving benchmarked 6-10x slower than native snarkvm. Mirror
snarkvm's own profiles (dev opt-level 3) in both crates so local builds
are usable for perf work, and let build-both.sh forward flags
(./build-both.sh --release).

Author: iamalwaysuncomfortable

sdk-abi/Cargo.toml

@@ -25,3 +25,13 @@ leo-span = { git = "https://github.com/ProvableHQ/leo", rev = "ba2c01722a48f84b4
 # Same tag + feature set leo pins, so `Process<N>`/`Program<N>` are the same
 # types leo-disassembler's signatures expect.
 snarkvm = { git = "https://github.com/ProvableHQ/snarkVM", tag = "v4.8.1", features = ["test_consensus_heights", "dev_skip_checks", "test_targets", "history"] }
+
+[profile.release]
+opt-level = 3
+lto = "thin"
+incremental = true
+
+[profile.dev]
+opt-level = 3
+lto = "off"
+incremental = true

sdk/Cargo.toml

@@ -32,3 +32,16 @@ sha2 = "0.10"
 snarkvm = { git = "https://github.com/ProvableHQ/snarkVM.git", tag = "v4.8.1", default-features = false, features = [
     "console", "circuit", "synthesizer", "ledger", "utilities", "algorithms", "parameters",
 ] }
+
+# Mirror snarkvm's profiles: crypto is unusable unoptimized, so dev builds
+# get opt-level 3 too (profiles apply from the root crate only — snarkvm's
+# own settings are ignored when it builds as a dependency).
+[profile.release]
+opt-level = 3
+lto = "thin"
+incremental = true
+
+[profile.dev]
+opt-level = 3
+lto = "off"
+incremental = true

sdk/build-both.sh

@@ -31,7 +31,7 @@ if ! command -v maturin >/dev/null 2>&1; then
 fi
 
 echo "==> [1/2] mainnet: maturin develop --features mainnet"
-maturin develop --features mainnet
+maturin develop --features mainnet "$@"
 
 echo "==> [2/2] testnet: build wheel with module-name override, extract .so"
 WORK="$(mktemp -d)"
@@ -58,7 +58,7 @@ s = s.replace('module-name = "aleo._aleolib_mainnet"',
 open(p, "w").write(s)
 PY
 
-maturin build --no-default-features --features testnet --out "$WORK/dist"
+maturin build --no-default-features --features testnet --out "$WORK/dist" "$@"
 
 restore_pyproject