optimize storage by removing a non efficient variable

contracts/src/LightClient.sol

@@ -90,9 +90,6 @@ contract LightClient is Initializable, OwnableUpgradeable, UUPSUpgradeable {
     ///@notice Max number of blockStates to record
     uint64 public maxStateHistoryAllowed;
 
-    ///@notice number of block states recorded
-    uint64 public stateHistoryCount;
-
     ///@notice index of first block in block state series
     ///@dev use this instead of index 0 since old states would be set to zero to keep storage costs
     /// constant to maxStateHistoryAllowed
@@ -400,18 +397,14 @@ contract LightClient is Initializable, OwnableUpgradeable, UUPSUpgradeable {
     function updateStateHistory(uint256 blockNumber, LightClientState memory state) internal {
         if (maxStateHistoryAllowed == 0) revert InvalidMaxStateHistory();
 
-        if (stateHistoryCount == maxStateHistoryAllowed) {
+        if (stateHistoryCommitments.length - stateHistoryFirstIndex >= maxStateHistoryAllowed) {
             // the arrays already has the max block states allowed so we clear the first non-empty
             // element
             // the arrays are cleared from a FIFO approach
             delete stateHistoryCommitments[stateHistoryFirstIndex];
             // and increment the first index so that you know where the first non-zero element is in
             // the affected arrays
             stateHistoryFirstIndex++;
-        } else {
-            // increment the num block states recorded, this increment stops when stateHistoryCount
-            // == maxStateHistoryAllowed
-            stateHistoryCount++;
         }
         // //add the L1 Block to stateUpdateBlockNumbers &  HotShot commitment for the genesis state
         stateHistoryCommitments.push(

contracts/test/LightClient.t.sol

@@ -663,7 +663,7 @@ contract LightClient_StateUpdatesTest is LightClientCommonTest {
         assertEq(lc.getStateHistoryCount(), blockUpdatesCount + 1);
     }
 
-    function test_1lBlockUpdatesIsUpdatedOverMaxButOnlyMaxNonZeroElements() public {
+    function test_1lBlockUpdatesIsUpdatedOverMaxButStateHistoryLimitNotSurpassed() public {
         string[] memory cmds = new string[](6);
         cmds[0] = "diff-test";
         cmds[1] = "mock-consecutive-finalized-states";
@@ -691,8 +691,6 @@ contract LightClient_StateUpdatesTest is LightClientCommonTest {
             emit LC.NewState(states[i].viewNum, states[i].blockHeight, states[i].blockCommRoot);
             lc.newFinalizedState(states[i], proofs[i]);
         }
-        // assert that the number of blocks recorded is the same as maxStateHistoryAllowed
-        assertEq(lc.stateHistoryCount(), lc.maxStateHistoryAllowed());
 
         // because we recorded more blocks than the maxStateHistoryAllowed, the
         // stateHistoryFirstIndex can't be zero