Merge rust-bitcoin/rust-miniscript#418: Tr compiler v3 - Incremental …

…Enumerative Compiler

97de242 Implement tr-compiler-v3 enumeration compiler (Aman Rojjha)
7d5374f Limit the number of tap-leaves output by the `tr_compiler` (Aman Rojjha)

Pull request description:

  This PR is a follow-up in the Tr-compiler series. This introduces splitting of a `thresh(k, ...n...)` policy into different Tapleaves.

  > For now, kindly refer to the code documentation and comments for the strategy implemented

ACKs for top commit:
  sanket1729:
    ACK 97de242

Tree-SHA512: dfa4517bb211e329e57dd237998e8df219cdf6208f8ec2cb3f2f4f9cf8934f272fb611f3b52dc1ad080918ddbc4fbd3ffb506812f02fa536239402a62683552d

src/lib.rs

@@ -1119,7 +1119,7 @@ mod prelude {
     pub use alloc::{
         borrow::{Borrow, Cow, ToOwned},
         boxed::Box,
-        collections::{vec_deque::VecDeque, BTreeMap, BinaryHeap},
+        collections::{vec_deque::VecDeque, BTreeMap, BTreeSet, BinaryHeap},
         rc, slice,
         string::{String, ToString},
         sync,
@@ -1129,7 +1129,7 @@ mod prelude {
     pub use std::{
         borrow::{Borrow, Cow, ToOwned},
         boxed::Box,
-        collections::{vec_deque::VecDeque, BTreeMap, BinaryHeap, HashMap, HashSet},
+        collections::{vec_deque::VecDeque, BTreeMap, BTreeSet, BinaryHeap, HashMap, HashSet},
         rc, slice,
         string::{String, ToString},
         sync,