feat: threshold change

Author: andrii-a8c

specs/sources/i128_specs.move

@@ -295,7 +295,7 @@ public fun abs_u128_spec(v: I128): u128 {
  ✅ Computes `v << shift`.
  ⏮️ The function aborts unless `shift < 128`.
 */
-#[spec(prove, target = shl, boogie_opt=b"proverOpt:O:smt.QI.EAGER_THRESHOLD=25")]
+#[spec(prove, target = shl, boogie_opt=b"proverOpt:O:smt.QI.EAGER_THRESHOLD=50")]
 public fun shl_spec(v: I128, shift: u8): I128 {
     asserts(shift < 128);
     let result = shl(v, shift);

specs/sources/i32_specs.move

@@ -209,7 +209,7 @@ public fun sub_spec(num1: I32, num2: I32): I32 {
  ✅ Computes `num1 * num2`.
  ⏮️ The function aborts when the result does not fit in `I32`.
 */
-#[spec(prove, target = mul, boogie_opt=b"proverOpt:O:smt.QI.EAGER_THRESHOLD=25")]
+#[spec(prove, target = mul, boogie_opt=b"proverOpt:O:smt.QI.EAGER_THRESHOLD=50")]
 public fun mul_spec(num1: I32, num2: I32): I32 {
     let num1_int = num1.to_int();
     let num2_int = num2.to_int();