[Bug] Integer operations panic on underflow/overflow in Aleo Instructions

[ilitteri]

🐛 Bug Report

Integer operations panic on underflow/overflow in Aleo Instructions.

thread ‘main’ panicked at ‘Integer subtraction failed on: 0u64 and 1u64’, /Users/user/snarkVM/console/network/environment/src/environment.rs:62:9

Steps to Reproduce

Send a transfer transaction with a record with no gates for an amount greater than zero.

Expected Behavior

This error should be handled.

[ljedrz]

This currently happens by design, as the halt function is an explicit panic.

CC https://github.com/AleoHQ/snarkVM/issues/1096.