Juan C.

**Description** Building on #9183, this PR wraps up the existing pausability proofs by adding the following: - Native symbolic support for arguments of type `bytes` and `bytes[]` - Replace `mockCall`...

feat(`cheatcodes`): support additional cheatcodes to aid in symbolic testing

7

### Component Forge, Cast, Chisel ### Describe the feature you would like From a conversation with Runtime Verification highlighting additional cheatcodes that would be valuable for them as well as...

Update Kontrol Proofs (`0.1.247` to `0.1.316`)

1

**Description** This PR brings the following changes and optimizations for the Kontrol pausability proofs: - Bump Kontrol version from `0.1.247` to `0.1.313` - Remove custom Kontrol deployment. Now `test/kontrol/deployment/KontrolDeployment.sol` just...

**Description** This PR updates Kontrol to version `1.0.53` making the following changes: - Updates `make-summary-deployment.sh` and `run-kontrol.sh` scripts for the newer version - Removes the `kdeploy` profile since now generate...