refactor(protocol): improve verifyTxListInvalid

[dantaik]

Based on #13087 and improve on top of it.

[codecov]

Codecov Report

Merging #13096 (d33a564) into main (ed5a748) will decrease coverage by 2.07%.
The diff coverage is 3.96%.

@@            Coverage Diff             @@
##             main   #13096      +/-   ##
==========================================
- Coverage   64.54%   62.48%   -2.07%     
==========================================
  Files         112      113       +1     
  Lines        3122     3217      +95     
  Branches      396      436      +40     
==========================================
- Hits         2015     2010       -5     
- Misses       1030     1131     +101     
+ Partials       77       76       -1     

Flag	Coverage Δ		*Carryforward flag
bridge-ui	92.61% <ø> (ø)		Carriedforward from ed5a748
protocol	52.87% <3.96%> (-3.32%)	⬇️
relayer	68.92% <ø> (ø)		Carriedforward from ed5a748
ui	100.00% <ø> (ø)		Carriedforward from ed5a748

*This pull request uses carry forward flags. Click here to find out more.

Impacted Files	Coverage Δ
packages/protocol/contracts/L1/TaikoL1.sol	32.69% <0.00%> (-5.31%)	⬇️
...ckages/protocol/contracts/L1/libs/LibProposing.sol	9.23% <ø> (ø)
packages/protocol/contracts/L1/libs/LibProving.sol	0.00% <0.00%> (ø)
...ckages/protocol/contracts/L1/libs/LibVerifying.sol	11.90% <0.00%> (ø)
packages/protocol/contracts/L2/TaikoL2.sol	54.00% <0.00%> (+1.05%)	⬆️
...kages/protocol/contracts/libs/LibInvalidTxList.sol	0.00% <0.00%> (ø)
...ckages/protocol/contracts/libs/LibSharedConfig.sol	0.00% <ø> (ø)
.../contracts/test/L1/TestTaikoL1EnableTokenomics.sol	0.00% <0.00%> (ø)
...ackages/protocol/contracts/test/L1/TestTaikoL2.sol	0.00% <0.00%> (ø)
...es/protocol/contracts/test/libs/TestLibProving.sol	0.00% <0.00%> (ø)
... and 4 more

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more