feat: add restriction clippy lints

test_program_methods/guest/src/bin/burner.rs

@@ -17,7 +17,7 @@ fn main() {
 
     let account_pre = &pre.account;
     let mut account_post = account_pre.clone();
-    account_post.balance -= balance_to_burn;
+    account_post.balance = account_post.balance.saturating_sub(balance_to_burn);
 
     write_nssa_outputs(
         instruction_words,

test_program_methods/guest/src/bin/chain_caller.rs

@@ -42,8 +42,16 @@ fn main() {
         };
         chained_calls.push(new_chained_call);
 
-        running_sender_pre.account.balance -= balance;
-        running_recipient_pre.account.balance += balance;
+        running_sender_pre.account.balance =
+            match running_sender_pre.account.balance.checked_sub(balance) {
+                Some(new_balance) => new_balance,
+                None => return,
+            };
+        running_recipient_pre.account.balance =
+            match running_recipient_pre.account.balance.checked_add(balance) {
+                Some(new_balance) => new_balance,
+                None => return,
+            };
     }
 
     write_nssa_outputs_with_chained_call(

test_program_methods/guest/src/bin/minter.rs

@@ -11,7 +11,10 @@ fn main() {
 
     let account_pre = &pre.account;
     let mut account_post = account_pre.clone();
-    account_post.balance += 1;
+    account_post.balance = account_post
+        .balance
+        .checked_add(1)
+        .expect("Balance overflow");
 
     write_nssa_outputs(
         instruction_words,

test_program_methods/guest/src/bin/modified_transfer.rs

@@ -1,3 +1,8 @@
+#![expect(
+    clippy::arithmetic_side_effects,
+    reason = "This program is intentionally malicious and is expected to have side effects."
+)]
+
 use nssa_core::{
     account::{Account, AccountWithMetadata},
     program::{AccountPostState, ProgramInput, read_nssa_inputs, write_nssa_outputs},

test_program_methods/guest/src/bin/nonce_changer.rs

@@ -11,7 +11,7 @@ fn main() {
 
     let account_pre = &pre.account;
     let mut account_post = account_pre.clone();
-    account_post.nonce += 1;
+    account_post.nonce = account_post.nonce.overflowing_add(1).0;
 
     write_nssa_outputs(
         instruction_words,

test_program_methods/guest/src/bin/simple_balance_transfer.rs

@@ -17,8 +17,14 @@ fn main() {
 
     let mut sender_post = sender_pre.account.clone();
     let mut receiver_post = receiver_pre.account.clone();
-    sender_post.balance -= balance;
-    receiver_post.balance += balance;
+    sender_post.balance = sender_post
+        .balance
+        .checked_sub(balance)
+        .expect("Not enough balance to transfer");
+    receiver_post.balance = receiver_post
+        .balance
+        .checked_add(balance)
+        .expect("Overflow when adding balance");
 
     write_nssa_outputs(
         instruction_words,