* KontrolDeployment: move to `deployment` folder

* Add `DeploymentSummary.t.sol`

* `DeploymentSummary`: `vm` visivility from `internal` to `private`

* KontrolUtils: `vm` visivility form `private` to `internal`

* Add fast summarization; run `finalizeWithdrawalTransaction` proof

* Delete dummy proofs

* README.md: Reflect `deployment` folder & deletion of `proofs/tests`

* `run-kontrol.sh`: fix path for `Kontrol-Deploy.json`

* `OptimismPortal_Test`: set `virtual` functions to override in Kontrol summary test

* `DeploymentSummary_Test`: Tidy up & remove innecessary code

* `versions.json`: bump Kontrol from `0.1.117` to `0.1.121`

* Update `Kontrol-Deploy.json`

* `run-kontrol.sh`: remove `bmc` proving mode

* `OptimismPortalKontrol`: inline `setUp` function

* `OptimismPortal_Test`: fix typo in comments

* Prettify `snapshots/state-diff/Kontrol-Deploy.json`

* `run-kontrol.sh`: add logs to `test/kontrol/logs` instead of root

* Update Kontrol deployment summary

* `DeploymentSummary_Test`: Update `test_constructor_suceeds`; add `test_initialize_succeeds`

* `DeploymentSummary_Test`: fix typos

* `DeploymentSummary_Test`: remove `vm.skip(true)`

* `OptimismPortalKontrol`: simplify test logic