replace bitcoinconsensus with miniscript interpeter for tests

libbitcoinconsensus is dead -
https://github.com/bitcoin/bitcoin/blob/master/doc/release-notes/release-notes-27.0.md?plain=1#L40-L53. We
used it previously thinking there was no replacement, but
rust-miniscript contains an interpreter:

https://docs.rs/miniscript/latest/miniscript/interpreter/index.html

That interpreter can only verify spends of UTXOs created by a
descriptor, but the BitBox does not support anything else.

Cargo.toml

@@ -48,10 +48,6 @@ wasm-bindgen-test = "0.3.42"
 tokio = { version = "1", features = ["time", "macros", "rt", "fs"] }
 reqwest = "0.12"
 url = "2.5"
-# Enable this to be able to get coverage using `cargo tarpaulin --features=simulator,tokio --out=Html` without compilation error.
-# See https://github.com/rust-bitcoin/rust-bitcoinconsensus/pull/94
-# bitcoinconsensus = { git = "https://github.com/benma/rust-bitcoinconsensus.git", rev = "d132eec12cf86038838c45185b083f834dfb7b26", default-features = false }
-bitcoinconsensus = { version = "0.106.0", default-features = false }
 miniscript = "12.0.0"
 
 [build-dependencies]

tests/subtests/test_btc_psbt.rs

@@ -10,41 +10,6 @@ use bitcoin::{
 };
 use miniscript::psbt::PsbtExt;
 
-// Checks that the psbt is fully signed and valid (all scripts execute correctly).
-fn verify_transaction(psbt: Psbt) {
-    let utxos: Vec<TxOut> = psbt
-        .iter_funding_utxos()
-        .map(|utxo| utxo.unwrap())
-        .cloned()
-        .collect();
-
-    let tx = psbt.extract_tx_unchecked_fee_rate();
-    let serialized_tx = bitcoin::consensus::encode::serialize(&tx);
-
-    let flags = bitcoinconsensus::VERIFY_ALL_PRE_TAPROOT | bitcoinconsensus::VERIFY_TAPROOT;
-
-    let utxos_converted: Vec<bitcoinconsensus::Utxo> = utxos
-        .iter()
-        .map(|output| bitcoinconsensus::Utxo {
-            script_pubkey: output.script_pubkey.as_bytes().as_ptr(),
-            script_pubkey_len: output.script_pubkey.as_bytes().len() as u32,
-            value: output.value.to_sat() as i64,
-        })
-        .collect();
-
-    for (idx, output) in utxos.iter().enumerate() {
-        bitcoinconsensus::verify_with_flags(
-            output.script_pubkey.as_bytes(),
-            output.value.to_sat(),
-            serialized_tx.as_slice(),
-            Some(&utxos_converted),
-            idx,
-            flags,
-        )
-        .unwrap();
-    }
-}
-
 pub async fn test(bitbox: &PairedBitBox) {
     test_taproot_key_spend(bitbox).await;
     test_mixed_spend(bitbox).await;
@@ -170,7 +135,7 @@ async fn test_taproot_key_spend(bitbox: &PairedBitBox) {
     psbt.finalize_mut(&secp).unwrap();
 
     // Verify the signed tx, including that all sigs/witnesses are correct.
-    verify_transaction(psbt);
+    miniscript::psbt::interpreter_check(&psbt, &secp).unwrap();
 }
 
 // Test signing; mixed input types (p2wpkh, p2wpkh-p2sh, p2tr)
@@ -315,7 +280,7 @@ async fn test_mixed_spend(bitbox: &PairedBitBox) {
     psbt.finalize_mut(&secp).unwrap();
 
     // Verify the signed tx, including that all sigs/witnesses are correct.
-    verify_transaction(psbt);
+    miniscript::psbt::interpreter_check(&psbt, &secp).unwrap();
 }
 
 async fn test_policy_wsh(bitbox: &PairedBitBox) {
@@ -469,5 +434,5 @@ async fn test_policy_wsh(bitbox: &PairedBitBox) {
     psbt.finalize_mut(&secp).unwrap();
 
     // Verify the signed tx, including that all sigs/witnesses are correct.
-    verify_transaction(psbt);
+    miniscript::psbt::interpreter_check(&psbt, &secp).unwrap();
 }