chore: Update rust-simplicity

This update is exciting for Simfony because it brings pruning.
However, we don't want to force the user to pass a tx environment
to satisfy a Simfony program. Instead, the satisfied Simfony program
can be pruned manually via RedeemNode::prune().

Cargo.toml

@@ -27,7 +27,7 @@ pest = "2.1.3"
 pest_derive = "2.7.1"
 serde = { version = "1.0.188", features = ["derive"], optional = true }
 serde_json = { version = "1.0.105", optional = true }
-simplicity-lang = { git = "https://github.com/BlockstreamResearch/rust-simplicity", rev = "fbe88d6f703c2f3b74f52eb3eebf60411606ed42" }
+simplicity-lang = { git = "https://github.com/BlockstreamResearch/rust-simplicity", rev = "ca0c0ebee295937ab021ad018acc44a5aaa12649" }
 miniscript = "12.2.0"
 either = "1.12.0"
 itertools = "0.13.0"

src/lib.rs

@@ -137,7 +137,9 @@ impl CompiledProgram {
             .is_consistent(&self.witness_types)
             .map_err(|e| e.to_string())?;
         let simplicity_witness = named::to_witness_node(&self.simplicity, witness_values);
-        let simplicity_redeem = simplicity_witness.finalize().map_err(|e| e.to_string())?;
+        let simplicity_redeem = simplicity_witness
+            .finalize_unpruned()
+            .map_err(|e| e.to_string())?;
         Ok(SatisfiedProgram {
             simplicity: simplicity_redeem,
             debug_symbols: self.debug_symbols.clone(),