fix: gas calculation for TX skip

Author: DavePearce

arithmetization/src/main/java/net/consensys/linea/zktracer/module/hub/section/skip/TxSkipSection.java

@@ -126,7 +126,8 @@ public void resolveAtEndTransaction(
     final Wei value = (Wei) txMetadata.getBesuTransaction().getValue();
 
     if (txMetadata.senderAddressCollision()) {
-      final BigInteger gasUsed = BigInteger.valueOf(txMetadata.getGasUsed());
+      final BigInteger gasUsed =
+          BigInteger.valueOf(txMetadata.getGasLimit() - txMetadata.getGasRefunded());
       final BigInteger gasPrice = BigInteger.valueOf(txMetadata.getEffectiveGasPrice());
       final BigInteger gasCost = gasUsed.multiply(gasPrice);
       senderNew =