feat(protocol): Move proofTimeTarget to state var and adjust scripts/tests

[adaki2004]

proofTImeTarget is now state var. Tests / scripts are adjusted.

Will add setter for them (proofTImeTarget + proofTImeIssued) soon - after lunch.

[dantaik]

Will add setter for them (proofTImeTarget + proofTImeIssued) soon - after lunch.

Maybe we should add them now :)

[adaki2004]

Will add setter for them (proofTImeTarget + proofTImeIssued) soon - after lunch.

Maybe we should add them now :)

Sure! I meant 'lunch' not 'launch' :D

[adaki2004]

Ok, added a function:
function setProofParams(uint64 newProofTimeTarget, uint64 newProofTimeIssued) external onlyOwner

And a helper script 'DetermineNewProofTimeIssued.s.sol'.

Some notes:

• In case we want to update the proofTimeTarget AND proofTimeIssued as well, we simply need to run that script with DESIRED_PROOF_TIME_TARGET set properly and it will tell us the new proofTimeIssued value.
• It might happen that we DO NOT want to update the proofTimeIssued variable. Either because the change is so small for the proofTimeTarget (5-10 secs) OR we think that thr provers will anyhow adjust their behavior to the new proofTimeTarget (aka: if we set it higher, provers will delay their proofs). In such case we need to set the input param newProofTimeIssued = type(uint64).max indicating this.

[adaki2004]

Resolved requests.