feat(contracts): Add modifiers, owner

[ratankaliani]

• Add back the owner parameter, which will simplify upgrades and make management of the contract straightforward. Rather than needing to re-initialize the contract, just use the onlyOwner modifier to update the verification key. The owner can be the governance smart contract or a multi-sig. Effectively reverts fix(contracts + proposer): checkpoint block hash #184
• Modify verifierGateway -> verifier and use ISP1Verifier, rather than ISP1VerifierGateway, as the verifierGateway terminology is confusing and unnecessary for this context.
• Add all initialization parameters to initParams.

[github-actions]

Metric	Value
Batch Start	20,172,330
Batch End	20,172,335
Witness Generation (seconds)	9
Execution Duration (seconds)	9
Total Instruction Count	322,449,602
Oracle Verify Cycles	45,028,293
Derivation Cycles	235,622,936
Block Execution Cycles	29,835,970
Blob Verification Cycles	729
Total SP1 Gas	433,864,105
Number of Blocks	6
Number of Transactions	16
Ethereum Gas Used	1,125,700
Cycles per Block	53,741,600
Cycles per Transaction	20,153,100
Transactions per Block	2
Gas Used per Block	187,616
Gas Used per Transaction	70,356
BN Pair Cycles	0
BN Add Cycles	0
BN Mul Cycles	0
KZG Eval Cycles	0
EC Recover Cycles	436,485