Add `vat.live` check to DssVestSuckable `pay` + Follow DSS Slot Patte…

…rn + Switch modifier order + others

* Switch modifier order (#42)

* Follow DSS Slot Pattern (#43)

* Add `vat.live` check to DssVestSuckable `pay` (#48)

* `kill`

* tests(refactor): fetch from chainlog

* rename to `cage`

* tests(refactor): split interfaces for contract and tests + cleanups

* tests(refactor): keep ds-token and gem/dai interfaces separated

* suckable(breaker): add `vat.live` check in `pay`

* echidna(suckable): add `mutlive` + `vat.live` revert case in `vest` and `vest_amt`

* echidna(`v2.0.0`): update config and readme

* certora(suckable): add `vat.live` revert case in `vest_revert` and `vest_amt_revert`

* readme(suckable): document `vat.suck` circuit breaker

* echidna(fix): extend `mutlock` behaviour

* echidna(fix): address `add` warnings + remove math `sub` where unused

* vest(errmsg): rename error messages to vest-specific contract

* tests(refactor): replace `Award` with `DssVest.Award`

* echidna(refactor): replace `Award` with `DssVest.Award`

* echidna(fix): address math warnings + remove unused math

* transferrable(errmsg): add missing error message in `pay` check

* echidna(transferrable): update `vest` and `vest_amt` with transfer error message

* readme(review): disable `vest()`

* echidna(transferrable): fix `vest` and `vest_amt` catch error block

* echidna(transferrable): remove transfer error message as won't be reached

* echidna(transferrable): cleanup

* echidna(mutations): disbale time-based fuzz mutations

* tests(doc): add comment for `vat.sin(VOW)` check

Co-authored-by: Nazzareno Massari <nazzareno@nazzarenomassari.com>
Co-authored-by: Nazzareno Massari <nas@naszam.co>

Certora CI (#49)

Permissionless vest, with the option to restrict (#29)

* Permissionless vest, with the option to restrict

* Add new functions to readme

* visibility change

* require one-liner

* rm extra test and test user vest