use hard assertion for uint32/112/224 check

Author: maht0rz

packages/library/src/math/UInt112.ts

@@ -19,7 +19,7 @@ export class UInt112 extends UInt<112> {
   };
 
   public static check(x: { value: Field }) {
-    UInt.assertionFunction(Gadgets.isDefinitelyInRangeN(112, x.value));
+    Gadgets.isDefinitelyInRangeN(112, x.value).assertTrue();
   }
 
   public static from(x: UInt112 | bigint | number | string): UInt112 {

packages/library/src/math/UInt224.ts

@@ -18,7 +18,7 @@ export class UInt224 extends UInt<224> {
   };
 
   public static check(x: { value: Field }) {
-    UInt.assertionFunction(Gadgets.isDefinitelyInRangeN(224, x.value));
+    Gadgets.isDefinitelyInRangeN(224, x.value).assertTrue();
   }
 
   public static from(x: UInt<224> | bigint | number | string): UInt224 {

packages/library/src/math/UInt32.ts

@@ -19,7 +19,7 @@ export class UInt32 extends UInt<32> {
   };
 
   public static check(x: { value: Field }) {
-    UInt.assertionFunction(Gadgets.isDefinitelyInRangeN(32, x.value));
+    Gadgets.isDefinitelyInRangeN(32, x.value).assertTrue();
   }
 
   public static from(x: UInt32 | bigint | number | string) {