* chore(ctb): Add test for `LibClone` improvement

fmt

* feat(ctb): Relax re-proving constraints in `OptimismPortal2`

* bindings, semver