refactor(evm_circuit): minor fix in end_tx (#1725) (#1739)

### Description

This PR is aimed to do minor style refactor/fix of #1719

### Issue Link

#1725 

### Type of change

- [X] Bug fix (non-breaking change which fixes an issue)

### Content

This PR addresses issue #1725 to do a minor style fix, that @lispc
mentioned
[here](#1719 (comment))

Author: curryrasul

zkevm-circuits/src/evm_circuit/execution/end_tx.rs

@@ -119,7 +119,7 @@ impl<F: Field> ExecutionGadget<F> for EndTxGadget<F> {
             tx_id.expr(),
             is_persistent.expr(),
             gas_used,
-            10.expr() + coinbase_reward.rw_delta(),
+            9.expr() + coinbase_reward.rw_delta(),
         );
 
         Self {

zkevm-circuits/src/evm_circuit/execution/invalid_tx.rs

@@ -76,7 +76,7 @@ impl<F: Field> ExecutionGadget<F> for InvalidTxGadget<F> {
             begin_tx.tx_id.expr(),
             false.expr(),
             0.expr(),
-            8.expr(),
+            7.expr(),
         );
 
         Self {

zkevm-circuits/src/evm_circuit/util/tx.rs

@@ -133,10 +133,8 @@ impl<F: Field> EndTxHelperGadget<F> {
                     // tx_id has been lookup and range_check above
                     Word::from_lo_unchecked(tx_id.expr() + 1.expr()),
                 );
-                // minus 1.expr() because `call_context_lookup_write_with_counter` do not bump
-                // rwc
                 cb.require_step_state_transition(StepStateTransition {
-                    rw_counter: Delta(rw_counter_offset.clone() - 1.expr()),
+                    rw_counter: Delta(rw_counter_offset.clone()),
                     ..StepStateTransition::any()
                 });
             },
@@ -145,7 +143,7 @@ impl<F: Field> EndTxHelperGadget<F> {
             cb.next.execution_state_selector([ExecutionState::EndBlock]),
             |cb| {
                 cb.require_step_state_transition(StepStateTransition {
-                    rw_counter: Delta(rw_counter_offset.expr() - 1.expr()),
+                    rw_counter: Delta(rw_counter_offset.expr()),
                     // We propagate call_id so that EndBlock can get the last tx_id
                     // in order to count processed txs.
                     call_id: Same,