refactor(protocol): replace finalize with verify

[dantaik]

Now we refer "onchain finalized" as "verified". This PR replace "finalize" with "verify".

V1Finalizing.sol remains unchanged to make it easier to merge other PRs. This fill will be renamed later in a separate PR.

[codecov]

Codecov Report

Merging #298 (8797388) into main (06ceee2) will increase coverage by 0.21%.
The diff coverage is 25.00%.

@@            Coverage Diff             @@
##             main     #298      +/-   ##
==========================================
+ Coverage   63.35%   63.56%   +0.21%     
==========================================
  Files          79       81       +2     
  Lines        2377     2388      +11     
  Branches      269      270       +1     
==========================================
+ Hits         1506     1518      +12     
+ Misses        803      802       -1     
  Partials       68       68              

Flag	Coverage Δ		*Carryforward flag
protocol	59.77% <25.00%> (+0.40%)	⬆️
relayer	68.57% <ø> (ø)		Carriedforward from 3fb5292

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

Impacted Files	Coverage Δ
packages/protocol/contracts/L1/v1/V1Proposing.sol	0.00% <ø> (ø)
packages/protocol/contracts/L1/v1/V1Proving.sol	0.00% <ø> (ø)
packages/protocol/contracts/L2/V1TaikoL2.sol	56.81% <ø> (ø)
...protocol/contracts/bridge/libs/LibBridgeSignal.sol	86.95% <ø> (+17.39%)	⬆️
.../protocol/contracts/test/bridge/TestHeaderSync.sol	0.00% <0.00%> (ø)
packages/protocol/contracts/L1/v1/V1Finalizing.sol	23.07% <12.50%> (ø)
packages/protocol/contracts/L1/TaikoL1.sol	19.51% <16.66%> (ø)
packages/protocol/contracts/L1/LibData.sol	21.42% <33.33%> (ø)
...ontracts/test/bridge/libs/TestLibBridgeProcess.sol	100.00% <100.00%> (ø)
...rotocol/contracts/bridge/libs/LibBridgeProcess.sol	23.52% <0.00%> (+11.76%)	⬆️
... and 1 more

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