fix: proof was checking for None but we get Some with zero balance

Author: pauldelucia

packages/rs-drive/src/verify/state_transition/verify_state_transition_was_executed_with_proof/v0/mod.rs

@@ -461,7 +461,7 @@ impl Drive {
                                 TokenTransition::DestroyFrozenFunds(
                                     destroy_frozen_funds_transition,
                                 ) => {
-                                    let (root_hash, None) =
+                                    let (root_hash, maybe_token_amount) =
                                         Drive::verify_token_balance_for_identity_id(
                                             proof,
                                             token_id.into_buffer(),
@@ -470,10 +470,12 @@ impl Drive {
                                                 .into_buffer(),
                                             false,
                                             platform_version,
-                                        )?
-                                    else {
+                                        )?;
+                                    if !(maybe_token_amount == Some(0)
+                                        || maybe_token_amount == None)
+                                    {
                                         return Err(Error::Proof(ProofError::IncorrectProof(
-                                            format!("proof contained token balance for identity {} expected to not exist because of state transition (token destroy frozen funds)", owner_id))));
+                                            format!("proof contained non-zero token balance for identity {} expected to be zero or not exist because of state transition (token destroy frozen funds)", destroy_frozen_funds_transition.frozen_identity_id()))));
                                     };
                                     Ok((
                                         root_hash,