feat: Replace jet_verify with assert!

Simfony programs look more like Rust if we write assert! instead of
jet_verify. It looks like Rust's assert! macro returns the unit type,
just like Simfony's jet_verify, so the two should be type-compatible.

Remove jet_verify from the list of jets to prevent confusion.

Author: uncomputable

README.md

@@ -9,11 +9,11 @@ let a: u32 = 10;
 let b = {
     let c: u32 = 2;
     let d: u32 = 3;
-    jet_verify(jet_eq_32(a, 10)); // Use variables from outer copes
+    assert!(jet_eq_32(a, 10)); // Use variables from outer copes
     let a: u32 = 7; // Shadow variables from outer scopes
     jet_max_32(jet_max_32(c, d), a) // Missing ; because the block returns a value
 };
-jet_verify(jet_eq_32(b, 7));
+assert!(jet_eq_32(b, 7));
 ```
 
 Take a look at the [example programs](https://github.com/BlockstreamResearch/simfony/tree/master/example_progs).

codegen/src/jet.rs

@@ -831,8 +831,8 @@ impl Category {
 
 // Core
 #[rustfmt::skip]
-const MULTI_BIT_LOGIC: [Elements; 213] = [
-    Elements::All8, Elements::All16, Elements::All32, Elements::All64, Elements::And1, Elements::And8, Elements::And16, Elements::And32, Elements::And64, Elements::Ch1, Elements::Ch8, Elements::Ch16, Elements::Ch32, Elements::Ch64, Elements::Complement1, Elements::Complement8, Elements::Complement16, Elements::Complement32, Elements::Complement64, Elements::Eq1, Elements::Eq8, Elements::Eq16, Elements::Eq32, Elements::Eq64, Elements::Eq256, Elements::FullLeftShift16_1, Elements::FullLeftShift16_2, Elements::FullLeftShift16_4, Elements::FullLeftShift16_8, Elements::FullLeftShift32_1, Elements::FullLeftShift32_2, Elements::FullLeftShift32_4, Elements::FullLeftShift32_8, Elements::FullLeftShift32_16, Elements::FullLeftShift64_1, Elements::FullLeftShift64_2, Elements::FullLeftShift64_4, Elements::FullLeftShift64_8, Elements::FullLeftShift64_16, Elements::FullLeftShift64_32, Elements::FullLeftShift8_1, Elements::FullLeftShift8_2, Elements::FullLeftShift8_4, Elements::FullRightShift16_1, Elements::FullRightShift16_2, Elements::FullRightShift16_4, Elements::FullRightShift16_8, Elements::FullRightShift32_1, Elements::FullRightShift32_2, Elements::FullRightShift32_4, Elements::FullRightShift32_8, Elements::FullRightShift32_16, Elements::FullRightShift64_1, Elements::FullRightShift64_2, Elements::FullRightShift64_4, Elements::FullRightShift64_8, Elements::FullRightShift64_16, Elements::FullRightShift64_32, Elements::FullRightShift8_1, Elements::FullRightShift8_2, Elements::FullRightShift8_4, Elements::High1, Elements::High8, Elements::High16, Elements::High32, Elements::High64, Elements::LeftExtend16_32, Elements::LeftExtend16_64, Elements::LeftExtend1_8, Elements::LeftExtend1_16, Elements::LeftExtend1_32, Elements::LeftExtend1_64, Elements::LeftExtend32_64, Elements::LeftExtend8_16, Elements::LeftExtend8_32, Elements::LeftExtend8_64, Elements::LeftPadHigh16_32, Elements::LeftPadHigh16_64, Elements::LeftPadHigh1_8, Elements::LeftPadHigh1_16, Elements::LeftPadHigh1_32, Elements::LeftPadHigh1_64, Elements::LeftPadHigh32_64, Elements::LeftPadHigh8_16, Elements::LeftPadHigh8_32, Elements::LeftPadHigh8_64, Elements::LeftPadLow16_32, Elements::LeftPadLow16_64, Elements::LeftPadLow1_8, Elements::LeftPadLow1_16, Elements::LeftPadLow1_32, Elements::LeftPadLow1_64, Elements::LeftPadLow32_64, Elements::LeftPadLow8_16, Elements::LeftPadLow8_32, Elements::LeftPadLow8_64, Elements::LeftRotate8, Elements::LeftRotate16, Elements::LeftRotate32, Elements::LeftRotate64, Elements::LeftShift8, Elements::LeftShift16, Elements::LeftShift32, Elements::LeftShift64, Elements::LeftShiftWith8, Elements::LeftShiftWith16, Elements::LeftShiftWith32, Elements::LeftShiftWith64, Elements::Leftmost16_1, Elements::Leftmost16_2, Elements::Leftmost16_4, Elements::Leftmost16_8, Elements::Leftmost32_1, Elements::Leftmost32_2, Elements::Leftmost32_4, Elements::Leftmost32_8, Elements::Leftmost32_16, Elements::Leftmost64_1, Elements::Leftmost64_2, Elements::Leftmost64_4, Elements::Leftmost64_8, Elements::Leftmost64_16, Elements::Leftmost64_32, Elements::Leftmost8_1, Elements::Leftmost8_2, Elements::Leftmost8_4, Elements::Low1, Elements::Low8, Elements::Low16, Elements::Low32, Elements::Low64, Elements::Maj1, Elements::Maj8, Elements::Maj16, Elements::Maj32, Elements::Maj64, Elements::Or1, Elements::Or8, Elements::Or16, Elements::Or32, Elements::Or64, Elements::RightExtend16_32, Elements::RightExtend16_64, Elements::RightExtend32_64, Elements::RightExtend8_16, Elements::RightExtend8_32, Elements::RightExtend8_64, Elements::RightPadHigh16_32, Elements::RightPadHigh16_64, Elements::RightPadHigh1_8, Elements::RightPadHigh1_16, Elements::RightPadHigh1_32, Elements::RightPadHigh1_64, Elements::RightPadHigh32_64, Elements::RightPadHigh8_16, Elements::RightPadHigh8_32, Elements::RightPadHigh8_64, Elements::RightPadLow16_32, Elements::RightPadLow16_64, Elements::RightPadLow1_8, Elements::RightPadLow1_16, Elements::RightPadLow1_32, Elements::RightPadLow1_64, Elements::RightPadLow32_64, Elements::RightPadLow8_16, Elements::RightPadLow8_32, Elements::RightPadLow8_64, Elements::RightRotate8, Elements::RightRotate16, Elements::RightRotate32, Elements::RightRotate64, Elements::RightShift8, Elements::RightShift16, Elements::RightShift32, Elements::RightShift64, Elements::RightShiftWith8, Elements::RightShiftWith16, Elements::RightShiftWith32, Elements::RightShiftWith64, Elements::Rightmost16_1, Elements::Rightmost16_2, Elements::Rightmost16_4, Elements::Rightmost16_8, Elements::Rightmost32_1, Elements::Rightmost32_2, Elements::Rightmost32_4, Elements::Rightmost32_8, Elements::Rightmost32_16, Elements::Rightmost64_1, Elements::Rightmost64_2, Elements::Rightmost64_4, Elements::Rightmost64_8, Elements::Rightmost64_16, Elements::Rightmost64_32, Elements::Rightmost8_1, Elements::Rightmost8_2, Elements::Rightmost8_4, Elements::Some1, Elements::Some8, Elements::Some16, Elements::Some32, Elements::Some64, Elements::Verify, Elements::Xor1, Elements::Xor8, Elements::Xor16, Elements::Xor32, Elements::Xor64, Elements::XorXor1, Elements::XorXor8, Elements::XorXor16, Elements::XorXor32, Elements::XorXor64
+const MULTI_BIT_LOGIC: [Elements; 212] = [
+    Elements::All8, Elements::All16, Elements::All32, Elements::All64, Elements::And1, Elements::And8, Elements::And16, Elements::And32, Elements::And64, Elements::Ch1, Elements::Ch8, Elements::Ch16, Elements::Ch32, Elements::Ch64, Elements::Complement1, Elements::Complement8, Elements::Complement16, Elements::Complement32, Elements::Complement64, Elements::Eq1, Elements::Eq8, Elements::Eq16, Elements::Eq32, Elements::Eq64, Elements::Eq256, Elements::FullLeftShift16_1, Elements::FullLeftShift16_2, Elements::FullLeftShift16_4, Elements::FullLeftShift16_8, Elements::FullLeftShift32_1, Elements::FullLeftShift32_2, Elements::FullLeftShift32_4, Elements::FullLeftShift32_8, Elements::FullLeftShift32_16, Elements::FullLeftShift64_1, Elements::FullLeftShift64_2, Elements::FullLeftShift64_4, Elements::FullLeftShift64_8, Elements::FullLeftShift64_16, Elements::FullLeftShift64_32, Elements::FullLeftShift8_1, Elements::FullLeftShift8_2, Elements::FullLeftShift8_4, Elements::FullRightShift16_1, Elements::FullRightShift16_2, Elements::FullRightShift16_4, Elements::FullRightShift16_8, Elements::FullRightShift32_1, Elements::FullRightShift32_2, Elements::FullRightShift32_4, Elements::FullRightShift32_8, Elements::FullRightShift32_16, Elements::FullRightShift64_1, Elements::FullRightShift64_2, Elements::FullRightShift64_4, Elements::FullRightShift64_8, Elements::FullRightShift64_16, Elements::FullRightShift64_32, Elements::FullRightShift8_1, Elements::FullRightShift8_2, Elements::FullRightShift8_4, Elements::High1, Elements::High8, Elements::High16, Elements::High32, Elements::High64, Elements::LeftExtend16_32, Elements::LeftExtend16_64, Elements::LeftExtend1_8, Elements::LeftExtend1_16, Elements::LeftExtend1_32, Elements::LeftExtend1_64, Elements::LeftExtend32_64, Elements::LeftExtend8_16, Elements::LeftExtend8_32, Elements::LeftExtend8_64, Elements::LeftPadHigh16_32, Elements::LeftPadHigh16_64, Elements::LeftPadHigh1_8, Elements::LeftPadHigh1_16, Elements::LeftPadHigh1_32, Elements::LeftPadHigh1_64, Elements::LeftPadHigh32_64, Elements::LeftPadHigh8_16, Elements::LeftPadHigh8_32, Elements::LeftPadHigh8_64, Elements::LeftPadLow16_32, Elements::LeftPadLow16_64, Elements::LeftPadLow1_8, Elements::LeftPadLow1_16, Elements::LeftPadLow1_32, Elements::LeftPadLow1_64, Elements::LeftPadLow32_64, Elements::LeftPadLow8_16, Elements::LeftPadLow8_32, Elements::LeftPadLow8_64, Elements::LeftRotate8, Elements::LeftRotate16, Elements::LeftRotate32, Elements::LeftRotate64, Elements::LeftShift8, Elements::LeftShift16, Elements::LeftShift32, Elements::LeftShift64, Elements::LeftShiftWith8, Elements::LeftShiftWith16, Elements::LeftShiftWith32, Elements::LeftShiftWith64, Elements::Leftmost16_1, Elements::Leftmost16_2, Elements::Leftmost16_4, Elements::Leftmost16_8, Elements::Leftmost32_1, Elements::Leftmost32_2, Elements::Leftmost32_4, Elements::Leftmost32_8, Elements::Leftmost32_16, Elements::Leftmost64_1, Elements::Leftmost64_2, Elements::Leftmost64_4, Elements::Leftmost64_8, Elements::Leftmost64_16, Elements::Leftmost64_32, Elements::Leftmost8_1, Elements::Leftmost8_2, Elements::Leftmost8_4, Elements::Low1, Elements::Low8, Elements::Low16, Elements::Low32, Elements::Low64, Elements::Maj1, Elements::Maj8, Elements::Maj16, Elements::Maj32, Elements::Maj64, Elements::Or1, Elements::Or8, Elements::Or16, Elements::Or32, Elements::Or64, Elements::RightExtend16_32, Elements::RightExtend16_64, Elements::RightExtend32_64, Elements::RightExtend8_16, Elements::RightExtend8_32, Elements::RightExtend8_64, Elements::RightPadHigh16_32, Elements::RightPadHigh16_64, Elements::RightPadHigh1_8, Elements::RightPadHigh1_16, Elements::RightPadHigh1_32, Elements::RightPadHigh1_64, Elements::RightPadHigh32_64, Elements::RightPadHigh8_16, Elements::RightPadHigh8_32, Elements::RightPadHigh8_64, Elements::RightPadLow16_32, Elements::RightPadLow16_64, Elements::RightPadLow1_8, Elements::RightPadLow1_16, Elements::RightPadLow1_32, Elements::RightPadLow1_64, Elements::RightPadLow32_64, Elements::RightPadLow8_16, Elements::RightPadLow8_32, Elements::RightPadLow8_64, Elements::RightRotate8, Elements::RightRotate16, Elements::RightRotate32, Elements::RightRotate64, Elements::RightShift8, Elements::RightShift16, Elements::RightShift32, Elements::RightShift64, Elements::RightShiftWith8, Elements::RightShiftWith16, Elements::RightShiftWith32, Elements::RightShiftWith64, Elements::Rightmost16_1, Elements::Rightmost16_2, Elements::Rightmost16_4, Elements::Rightmost16_8, Elements::Rightmost32_1, Elements::Rightmost32_2, Elements::Rightmost32_4, Elements::Rightmost32_8, Elements::Rightmost32_16, Elements::Rightmost64_1, Elements::Rightmost64_2, Elements::Rightmost64_4, Elements::Rightmost64_8, Elements::Rightmost64_16, Elements::Rightmost64_32, Elements::Rightmost8_1, Elements::Rightmost8_2, Elements::Rightmost8_4, Elements::Some1, Elements::Some8, Elements::Some16, Elements::Some32, Elements::Some64, Elements::Xor1, Elements::Xor8, Elements::Xor16, Elements::Xor32, Elements::Xor64, Elements::XorXor1, Elements::XorXor8, Elements::XorXor16, Elements::XorXor32, Elements::XorXor64
 ];
 #[rustfmt::skip]
 const ARITHMETIC: [Elements; 92] = [
@@ -872,8 +872,8 @@ const TRANSACTION: [Elements; 49] = [
     Elements::CurrentAmount, Elements::CurrentAnnexHash, Elements::CurrentAsset, Elements::CurrentIndex, Elements::CurrentIssuanceAssetAmount, Elements::CurrentIssuanceAssetProof, Elements::CurrentIssuanceTokenAmount, Elements::CurrentIssuanceTokenProof, Elements::CurrentNewIssuanceContract, Elements::CurrentPegin, Elements::CurrentPrevOutpoint, Elements::CurrentReissuanceBlinding, Elements::CurrentReissuanceEntropy, Elements::CurrentScriptHash, Elements::CurrentScriptSigHash, Elements::CurrentSequence, Elements::GenesisBlockHash, Elements::InputAmount, Elements::InputAnnexHash, Elements::InputAsset, Elements::InputPegin, Elements::InputPrevOutpoint, Elements::InputScriptHash, Elements::InputScriptSigHash, Elements::InputSequence, Elements::InternalKey, Elements::IssuanceAssetAmount, Elements::IssuanceAssetProof, Elements::IssuanceTokenAmount, Elements::IssuanceTokenProof, Elements::LockTime, Elements::NewIssuanceContract, Elements::NumInputs, Elements::NumOutputs, Elements::OutputAmount, Elements::OutputAsset, Elements::OutputIsFee, Elements::OutputNonce, Elements::OutputNullDatum, Elements::OutputRangeProof, Elements::OutputScriptHash, Elements::OutputSurjectionProof, Elements::ReissuanceBlinding, Elements::ReissuanceEntropy, Elements::ScriptCMR, Elements::TapleafVersion, Elements::Tappath, Elements::TotalFee, Elements::Version
 ];
 #[rustfmt::skip]
-const DISABLED: [Elements; 1] = [
-    Elements::CheckSigVerify
+const DISABLED: [Elements; 2] = [
+    Elements::CheckSigVerify, Elements::Verify
 ];
 
 #[cfg(test)]

example_progs/add.simf

@@ -4,5 +4,5 @@ fn main() {
     let (carry, res): (bool, u32) = jet_add_32(a, b);
     let add_res: (bool, u32) = jet_add_32(10, 20);
     let (carry2, res3): (bool, u32) = add_res;
-    jet_verify(jet_eq_32(res3, 30));
+    assert!(jet_eq_32(res3, 30));
 }

example_progs/array.simf

@@ -12,7 +12,7 @@ fn main() {
     let []: [u1; 0] = a;
 
     let [d0, d1, d2]: [u8; 3] = d;
-    jet_verify(jet_eq_8(d0, 1));
-    jet_verify(jet_eq_8(d1, 2));
-    jet_verify(jet_eq_8(d2, 3));
+    assert!(jet_eq_8(d0, 1));
+    assert!(jet_eq_8(d1, 2));
+    assert!(jet_eq_8(d2, 3));
 }

example_progs/cat.simf

@@ -1,8 +1,8 @@
 fn main() {
     let ab: u16 = <(u8, u8)>::into((0x10, 0x01));
     let c: u16 = 0x1001;
-    jet_verify(jet_eq_16(ab, c));
+    assert!(jet_eq_16(ab, c));
     let ab: u8 = <(u4, u4)>::into((0b1011, 0b1101));
     let c: u8 = 0b10111101;
-    jet_verify(jet_eq_8(ab, c));
+    assert!(jet_eq_8(ab, c));
 }

example_progs/ctv.simf

@@ -18,5 +18,5 @@ fn main() {
     let ctv_hash: u256 = jet_sha_256_ctx_8_finalize(ctx);
 
     let expected_hash: u256 = 0xae3d019b30529c6044d2b3d7ee2e0ee5db51a7f05ed5db8f089cd5d455f1fc5d;
-    jet_verify(jet_eq_256(ctv_hash, expected_hash));
+    assert!(jet_eq_256(ctv_hash, expected_hash));
 }

example_progs/function.simf

@@ -1,6 +1,6 @@
 fn checked_add_32(a: u32, b: u32) -> u32 {
     let (carry, sum): (bool, u32) = jet_add_32(a, b);
-    jet_verify(<u1>::into(jet_complement_1(<bool>::into(carry))));
+    assert!(<u1>::into(jet_complement_1(<bool>::into(carry))));
     sum
 }
 
@@ -19,9 +19,9 @@ fn third() -> u32 {
 fn main() {
     let sum: u32 = checked_add_32(42, 1);
     let expected: u32 = 43;
-    jet_verify(jet_eq_32(expected, sum));
+    assert!(jet_eq_32(expected, sum));
 
     let third: u32 = third();
     let expected: u32 = 3;
-    jet_verify(jet_eq_32(expected, third));
+    assert!(jet_eq_32(expected, third));
 }

example_progs/match.simf

@@ -3,15 +3,15 @@ fn main() {
         Left(x: u32) => jet_le_32(10, x),
         Right(y: u32) => jet_le_32(y, 10),
     };
-    jet_verify(bit);
+    assert!(bit);
     let bit: bool = match Some(11) {
         Some(x: u32) => jet_le_32(10, x),
         None => false,
     };
-    jet_verify(bit);
+    assert!(bit);
     let bit: bool = match false {
         true => false,
         false => true,
     };
-    jet_verify(bit);
+    assert!(bit);
 }

example_progs/nesting.simf

@@ -7,5 +7,5 @@ fn main() {
         v4
     };
     let res: u32 = 1;
-    jet_verify(jet_eq_32(res, v1));
+    assert!(jet_eq_32(res, v1));
 }

example_progs/option.simf

@@ -7,5 +7,5 @@ fn checked_div_32(x: u32, y: u32) -> Option<u32> {
 
 fn main() {
     let res: Option<u32> = checked_div_32(10, 3);
-    jet_verify(jet_eq_32(3, unwrap(res)));
+    assert!(jet_eq_32(3, unwrap(res)));
 }

example_progs/recursive-covenant.simf

@@ -6,5 +6,5 @@
 fn main () {
     let this_hash:  u256 = jet_current_script_hash();
     let spend_hash: u256 = unwrap(jet_output_script_hash(0));
-    jet_verify(jet_eq_256(this_hash, spend_hash));
+    assert!(jet_eq_256(this_hash, spend_hash));
 }

example_progs/scopes.simf

@@ -5,14 +5,14 @@ fn main() {
             let v3: u32 = {
                 let v4: u32 = 2;
                 let v5: u32 = 3;
-                jet_verify(jet_eq_32(v7, 10)); /* Can use upper scope variables here.*/
+                assert!(jet_eq_32(v7, 10)); /* Can use upper scope variables here.*/
                 let v7: u32 = 7; /* Can also shadow the upper scope here.*/
                 jet_max_32(jet_max_32(v4, v5),v7) /* Rust like, missing ; here is the return type of expression.*/
             };
-            jet_verify(jet_eq_32(v7, 10)); /* Upper scope is same just like regular Programming languages*/
+            assert!(jet_eq_32(v7, 10)); /* Upper scope is same just like regular Programming languages*/
             jet_min_32(v7, v3) /*Return value of v2 block*/
         };
         v2
     };
-    jet_verify(jet_eq_32(7, v1));
+    assert!(jet_eq_32(7, v1));
 }

example_progs/sighash_all.simf

@@ -18,7 +18,7 @@ fn main () {
     let ctx: Ctx8 = jet_sha_256_ctx_8_add_4(ctx, jet_current_index());
     let sig_all_hash: u256 = jet_sha_256_ctx_8_finalize(ctx);
     let expected: u256= jet_sig_all_hash();
-    jet_verify(jet_eq_256(sig_all_hash, expected));
+    assert!(jet_eq_256(sig_all_hash, expected));
 
     // jet_tx_hash
     let ctx: Ctx8 = jet_sha_256_ctx_8_init();
@@ -31,7 +31,7 @@ fn main () {
     let ctx: Ctx8 = jet_sha_256_ctx_8_add_32(ctx, jet_input_utxos_hash());
     let tx_hash: u256 = jet_sha_256_ctx_8_finalize(ctx);
     let expected: u256 = jet_tx_hash();
-    jet_verify(jet_eq_256(tx_hash, expected));
+    assert!(jet_eq_256(tx_hash, expected));
 
     // jet_inputs_hash
     let ctx: Ctx8 = jet_sha_256_ctx_8_init();
@@ -40,7 +40,7 @@ fn main () {
     let ctx: Ctx8 = jet_sha_256_ctx_8_add_32(ctx, jet_input_annexes_hash());
     let inputs_hash: u256 = jet_sha_256_ctx_8_finalize(ctx);
     let expected: u256 = jet_inputs_hash();
-    jet_verify(jet_eq_256(inputs_hash, expected));
+    assert!(jet_eq_256(inputs_hash, expected));
 
     // jet_outputs_hash
     let ctx: Ctx8 = jet_sha_256_ctx_8_init();
@@ -50,7 +50,7 @@ fn main () {
     let ctx: Ctx8 = jet_sha_256_ctx_8_add_32(ctx, jet_output_range_proofs_hash());
     let outputs_hash: u256 = jet_sha_256_ctx_8_finalize(ctx);
     let expected: u256 = jet_outputs_hash();
-    jet_verify(jet_eq_256(outputs_hash, expected));
+    assert!(jet_eq_256(outputs_hash, expected));
 
     // jet_issuances_hash
     let ctx: Ctx8 = jet_sha_256_ctx_8_init();
@@ -60,15 +60,15 @@ fn main () {
     let ctx: Ctx8 = jet_sha_256_ctx_8_add_32(ctx, jet_issuance_blinding_entropy_hash());
     let issuances_hash: u256 = jet_sha_256_ctx_8_finalize(ctx);
     let expected: u256 = jet_issuances_hash();
-    jet_verify(jet_eq_256(issuances_hash, expected));
+    assert!(jet_eq_256(issuances_hash, expected));
 
     // jet_input_utxos_hash
     let ctx: Ctx8 = jet_sha_256_ctx_8_init();
     let ctx: Ctx8 = jet_sha_256_ctx_8_add_32(ctx, jet_input_amounts_hash());
     let ctx: Ctx8 = jet_sha_256_ctx_8_add_32(ctx, jet_input_scripts_hash());
     let input_utxos_hash: u256 = jet_sha_256_ctx_8_finalize(ctx);
     let expected: u256 = jet_input_utxos_hash();
-    jet_verify(jet_eq_256(input_utxos_hash, expected));
+    assert!(jet_eq_256(input_utxos_hash, expected));
 
     // jet_tap_env_hash
     let ctx: Ctx8 = jet_sha_256_ctx_8_init();
@@ -77,5 +77,5 @@ fn main () {
     let ctx: Ctx8 = jet_sha_256_ctx_8_add_32(ctx, jet_internal_key());
     let tap_env_hash: u256 = jet_sha_256_ctx_8_finalize(ctx);
     let expected: u256 = jet_tap_env_hash();
-    jet_verify(jet_eq_256(tap_env_hash, expected));
+    assert!(jet_eq_256(tap_env_hash, expected));
 }

example_progs/tuple.simf

@@ -7,10 +7,10 @@ fn main() {
     let (e,): (u32,) = b;
     let (f,g): (u32,u32) = c;
     let (h,i,j): (u32,u32,u32) = d;
-    jet_verify(jet_eq_32(e,1));
-    jet_verify(jet_eq_32(f,2));
-    jet_verify(jet_eq_32(g,3));
-    jet_verify(jet_eq_32(h,4));
-    jet_verify(jet_eq_32(i,5));
-    jet_verify(jet_eq_32(j,6));
+    assert!(jet_eq_32(e,1));
+    assert!(jet_eq_32(f,2));
+    assert!(jet_eq_32(g,3));
+    assert!(jet_eq_32(h,4));
+    assert!(jet_eq_32(i,5));
+    assert!(jet_eq_32(j,6));
 }

example_progs/unwrap.simf

@@ -1,8 +1,8 @@
 fn main() {
     let l_or_r: Either<Height, Time> = jet_parse_lock(10);
     let l: u32 = unwrap_left::<Time>(l_or_r);
-    jet_verify(jet_eq_32(l, 10));
+    assert!(jet_eq_32(l, 10));
     let l_or_r: Either<Height, Time> = jet_parse_lock(1000000000);
     let r: u32 = unwrap_right::<Height>(l_or_r);
-    jet_verify(jet_eq_32(r, 1000000000));
+    assert!(jet_eq_32(r, 1000000000));
 }