Update multi_a to not include n wrapper

While we are at it, do not use the default impl. This makes these types
of error easy to make. I think this could have easily been prevently if
I was forced to explicitly write AnyNonZero in front of multi_a

Author: sanket1729

src/miniscript/types/correctness.rs

@@ -170,6 +170,15 @@ impl Property for Correctness {
         }
     }
 
+    fn from_multi_a(_: usize, _: usize) -> Self {
+        Correctness {
+            base: Base::B,
+            input: Input::Any,
+            dissatisfiable: true,
+            unit: true,
+        }
+    }
+
     fn from_hash() -> Self {
         Correctness {
             base: Base::B,

src/miniscript/types/malleability.rs

@@ -119,6 +119,14 @@ impl Property for Malleability {
         }
     }
 
+    fn from_multi_a(_: usize, _: usize) -> Self {
+        Malleability {
+            dissat: Dissat::Unique,
+            safe: true,
+            non_malleable: true,
+        }
+    }
+
     fn from_hash() -> Self {
         Malleability {
             dissat: Dissat::Unknown,

src/miniscript/types/mod.rs

@@ -267,10 +267,7 @@ pub trait Property: Sized {
     fn from_multi(k: usize, n: usize) -> Self;
 
     /// Type property of a `MultiA` fragment
-    fn from_multi_a(k: usize, n: usize) -> Self {
-        // default impl same as multi
-        Self::from_multi(k, n)
-    }
+    fn from_multi_a(k: usize, n: usize) -> Self;
 
     /// Type property of a hash fragment
     fn from_hash() -> Self;
@@ -583,6 +580,13 @@ impl Property for Type {
         }
     }
 
+    fn from_multi_a(k: usize, n: usize) -> Self {
+        Type {
+            corr: Property::from_multi_a(k, n),
+            mall: Property::from_multi_a(k, n),
+        }
+    }
+
     fn from_hash() -> Self {
         Type {
             corr: Property::from_hash(),