chore: added no unintended minting of vouchers check

Author: nemo83

cardano/onchain/validators/minting_voucher.test.ak

@@ -15,7 +15,6 @@ use ibc/apps/transfer/types/coin as transfer_coin
 use ibc/apps/transfer/types/fungible_token_packet_data.{FungibleTokenPacketData}
 use ibc/auth.{AuthToken}
 use ibc/core/ics_004/types/acknowledgement
-use ibc/core/ics_004/types/acknowledgement_response.{AcknowledgementResult}
 use ibc/core/ics_005/types/ibc_module_redeemer.{
   Callback, OnAcknowledgementPacket, OnRecvPacket, OnTimeoutPacket, Operator,
   TransferModuleData, TransferModuleOperator,

cardano/onchain/validators/spending_transfer_module.ak

@@ -264,7 +264,10 @@ fn handler_callback(
         packet.source_channel,
         data.denom,
       ) {
-        // TODO: check no minting voucher here
+        // check no minting voucher here
+        expect None =
+          pairs.get_first(redeemers, Mint(voucher_minting_policy_id))
+
         let voucher_prefix_len =
           transfer_coin.get_denom_prefix(
             packet.source_port,
@@ -795,7 +798,9 @@ fn validate_refund_packet_token(
     packet.source_channel,
     data.denom,
   ) {
-    // TODO: check no minting voucher here
+    // check no minting voucher here
+    expect None = pairs.get_first(redeemers, Mint(voucher_minting_policy_id))
+
     expect Some(escrowed_token_unit) =
       string_utils.hex_string_to_bytes(data.denom)
     trace @"spend_transfer_module: demon convert to token unit valid"