Merge #346: Rectify from_multi_a max satisfaction size

747876e Rectify `from_multi_a` max satisfaction size (Aman Rojjha)

Pull request description:

  Cost incurred for a single Schnorr signature in the witness stack := `<var_int><64-byte signature><sig_type>` = 1 + 64 + 1 (as clarified by @sanket1729 in #340 ).

ACKs for top commit:
  sanket1729:
    ACK 747876e

Tree-SHA512: f20652240f1daa7b33b1d525870114e0bd6412e82845e80a94c616dedcfb3d8ae2f7ef19d7c08760f79270e0d465c18b713eff2e3e599b45c65f2a64da36713b

Author: sanket1729

src/miniscript/types/extra_props.rs

@@ -249,7 +249,7 @@ impl Property for ExtData {
             ops_count_nsat: Some(n + 1),
             stack_elem_count_sat: Some(n),
             stack_elem_count_dissat: Some(n),
-            max_sat_size: Some(((n - k) + 64 * k, (n - k) + 64 * k)),
+            max_sat_size: Some(((n - k) + 66 * k, (n - k) + 66 * k)),
             max_dissat_size: Some((n, n)),
             timelock_info: TimeLockInfo::default(),
             exec_stack_elem_count_sat: Some(2), // the two nums before num equal verify