Fix malleability rules according to website

We were marking extra miniscripts as non-malleable. Note that this
change is previously marked non-malleable miniscripts as malleable.

In particular, this affects miniscripts that are have a thresh child
that does not have the `s` property. (Meaning that the thresh can be
satisfied without signatures

Author: heap-coder

src/miniscript/types/malleability.rs

@@ -317,15 +317,13 @@ impl Property for Malleability {
             all_are_non_malleable &= subtype.non_malleable;
         }
         Ok(Malleability {
-            dissat: if all_are_dissat_unique && (k == 1 || safe_count == n) {
+            dissat: if all_are_dissat_unique && safe_count == n {
                 Dissat::Unique
             } else {
                 Dissat::Unknown
             },
             safe: safe_count > n - k,
-            non_malleable: all_are_non_malleable
-                && safe_count >= n - k
-                && (k == n || all_are_dissat_unique),
+            non_malleable: all_are_non_malleable && safe_count >= n - k && all_are_dissat_unique,
         })
     }
 }