fix(rust): Reduce runtime of excessively slow property tests

Author: stevenj

rust/catalyst-voting/src/crypto/zk_dl_equality.rs

@@ -73,7 +73,7 @@ mod tests {
 
     use super::*;
 
-    #[proptest]
+    #[proptest(cases = 10)]
     fn zk_dleq_test(e1: Scalar, e2: Scalar, dlog1: Scalar, dlog2: Scalar, randomness: Scalar) {
         let base_1 = GroupElement::GENERATOR.mul(&e1);
         let base_2 = GroupElement::GENERATOR.mul(&e2);

rust/catalyst-voting/src/crypto/zk_unit_vector/mod.rs

@@ -277,7 +277,7 @@ mod tests {
         ones == 1 && zeros == vector.len() - 1
     }
 
-    #[proptest]
+    #[proptest(cases = 10)]
     fn zk_unit_vector_test(
         secret_key: Scalar, commitment_key: GroupElement,
         #[strategy(1..10_usize)] unit_vector_size: usize,
@@ -327,7 +327,7 @@ mod tests {
         ));
     }
 
-    #[proptest]
+    #[proptest(cases = 10)]
     fn not_a_unit_vector_test(
         secret_key: Scalar, commitment_key: GroupElement,
         #[any(size_range(1..10_usize).lift())] random_vector: Vec<Scalar>,