feat(protocol): ProverPool gas optimizations

[adaki2004]

Before optimization, gas test of the ProoverPool:

[adaki2004]

After 1st gas optimization commit, proposeBlock() reduced by 10% and verifyBlock() by 70%.

[dantaik]

Please run pnpm install to trigger lints, or manually run pnpm fmt:sol, and maybe also run pnpm lint:sol, to fix these issues:

❯ pnpm lint:sol

> @taiko/protocol@0.10.0 lint:sol /Users/d/Projects/taiko/taiko-mono/packages/protocol
> forge fmt && pnpm solhint 'contracts/**/*.sol' --fix


contracts/L1/ProverPool.sol
  376:5  warning  Function order is incorrect, private view function can not go after private pure function (line 357)  ordering

contracts/L1/ProverPool2.sol
   26:5   warning  Function order is incorrect, struct definition can not go after custom error definition (line 24)  ordering
   36:5   warning  Explicitly mark visibility of state                                                                state-visibility
   37:5   warning  Explicitly mark visibility of state                                                                state-visibility
   58:9   warning  Variable name must be in mixedCase                                                                 var-name-mixedcase
  126:9   warning  Provide an error message for require                                                               reason-string
  137:9   warning  Provide an error message for require                                                               reason-string
  144:13  warning  Provide an error message for require                                                               reason-string
  183:9   warning  Provide an error message for require                                                               reason-string

contracts/L1/TaikoL1.sol
  160:5  warning  Function order is incorrect, external  function can not go after public payable function (line 150)  ordering

✖ 10 problems (0 errors, 10 warnings)

[adaki2004]

@dantaik applied some extra optimizations - and get rid of the calcWeight always on-the-fly (during proposeBlock()) via getting rid of the average fee per gas coming from the protocol.

Here we are now:
Intergation tests with protocol:

Pure ProverPool:

So far this is 15% on proposeBlock(), 75% on verifyBlock(). (And no change to proveBlock())

Other / next steps could be like data packing (as you did with Prover).

[dantaik]

__gap should be changed to 42

[adaki2004]

I created a draft explanation document about ProverPool2.sol.
You can access it here.
I mainly did it for client guys to have a visual representation how it would/could work, so to speed up the process of understanding the core concept.
Doc. is only available to taiko ppl.
I dont yet know if code works or lacks something, not tested also. ( @Brechtpd please check if something is missing - i know it lacks events and some unified custom errors so please take it with a grain of salt.)