feat(protocol): temporarily force an oracle prover to be the first prover

[dantaik]

This is to enable alpha-2 testnet has permissioned proposers and permissionless provers. When ZKPs are not comprehensive, malicious provers may submit verifiable but invalid ZKPs, in this PR we force a special prover to always be the first prover without verifying its ZKP, effectively using its block-hash to assert all following ZKPs.

[codecov]

Codecov Report

Merging #13070 (a69474c) into main (2d93c95) will decrease coverage by 0.37%.
The diff coverage is 9.75%.

@@            Coverage Diff             @@
##             main   #13070      +/-   ##
==========================================
- Coverage   64.84%   64.47%   -0.37%     
==========================================
  Files         112      112              
  Lines        3095     3122      +27     
  Branches      384      396      +12     
==========================================
+ Hits         2007     2013       +6     
- Misses       1012     1033      +21     
  Partials       76       76              

Flag	Coverage Δ		*Carryforward flag
bridge-ui	92.61% <ø> (ø)		Carriedforward from 12cba14
protocol	55.94% <9.75%> (-0.68%)	⬇️
relayer	69.10% <ø> (+0.17%)	⬆️	Carriedforward from 12cba14
ui	100.00% <ø> (ø)		Carriedforward from 12cba14

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

Impacted Files	Coverage Δ
packages/protocol/contracts/L1/libs/LibProving.sol	0.00% <0.00%> (ø)
...ckages/protocol/contracts/L1/libs/LibVerifying.sol	11.90% <0.00%> (-1.43%)	⬇️
...ckages/protocol/contracts/libs/LibSharedConfig.sol	0.00% <ø> (ø)
packages/protocol/contracts/libs/LibZKP.sol	0.00% <ø> (ø)
.../contracts/test/L1/TestTaikoL1EnableTokenomics.sol	0.00% <0.00%> (ø)
...ackages/protocol/contracts/test/L1/TestTaikoL2.sol	0.00% <0.00%> (ø)
...ckages/protocol/contracts/L1/libs/LibProposing.sol	9.23% <100.00%> (ø)
...ackages/protocol/contracts/test/L1/TestTaikoL1.sol	87.87% <100.00%> (+0.37%)	⬆️
...cts/test/L1/TestTaikoL2EnablePublicInputsCheck.sol	100.00% <100.00%> (ø)
packages/relayer/indexer/service.go	75.53% <0.00%> (ø)
... and 2 more

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