fix(protocol): fix two protocol bugs

[cyberhorsey]

1. Introduction of blockHashHistory has broken getLatestSyncedHeader, which returns the zero address after the first iteration through blockHashHistory.

2. verifyBlocks publc function max num blocks arg always verified 1 more than the block numbers specified. ie: passing in 1 verified 2.

[codecov]

Codecov Report

Merging #13034 (00f6a6f) into main (088933e) will decrease coverage by 0.08%.
The diff coverage is 80.00%.

@@            Coverage Diff             @@
##             main   #13034      +/-   ##
==========================================
- Coverage   65.34%   65.27%   -0.08%     
==========================================
  Files         113      113              
  Lines        3105     3104       -1     
  Branches      386      385       -1     
==========================================
- Hits         2029     2026       -3     
- Misses        999     1001       +2     
  Partials       77       77              

Flag	Coverage Δ		*Carryforward flag
bridge-ui	92.61% <ø> (ø)		Carriedforward from 088933e
protocol	57.35% <80.00%> (-0.15%)	⬇️
relayer	69.10% <ø> (ø)		Carriedforward from 088933e
ui	100.00% <ø> (ø)		Carriedforward from 088933e

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

Impacted Files	Coverage Δ
...ckages/protocol/contracts/L1/libs/LibVerifying.sol	13.33% <0.00%> (ø)
packages/protocol/contracts/L1/TaikoL1.sol	38.00% <100.00%> (-1.22%)	⬇️
packages/protocol/contracts/L1/libs/LibUtils.sol	27.27% <100.00%> (ø)
...ges/protocol/contracts/libs/LibAnchorSignature.sol	89.47% <0.00%> (-10.53%)	⬇️

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