Move BatchVerified event emission into _verifyBatchInternal so it fires

for every batch in a multi-batch verifyBatches call, preserving compatibility
with systems that listen for per-batch events.

Author: avilagaston9

crates/l2/contracts/src/l1/OnChainProposer.sol

@@ -464,6 +464,8 @@ contract OnChainProposer is
 
         // Remove previous batch commitment as it is no longer needed.
         delete batchCommitments[batchNumber - 1];
+
+        emit BatchVerified(lastVerifiedBatch);
     }
 
     /// @inheritdoc IOnChainProposer
@@ -492,7 +494,6 @@ contract OnChainProposer is
                 tdxSignatures[i]
             );
         }
-        emit BatchVerified(lastVerifiedBatch);
     }
 
     /// @inheritdoc IOnChainProposer

crates/l2/contracts/src/l1/based/OnChainProposer.sol

@@ -426,6 +426,8 @@ contract OnChainProposer is
 
         // Remove previous batch commitment as it is no longer needed.
         delete batchCommitments[batchNumber - 1];
+
+        emit BatchVerified(lastVerifiedBatch);
     }
 
     /// @inheritdoc IOnChainProposer
@@ -454,7 +456,6 @@ contract OnChainProposer is
                 tdxSignatures[i]
             );
         }
-        emit BatchVerified(lastVerifiedBatch);
     }
 
     /// @inheritdoc IOnChainProposer