KilnBase Certora Specs (#14)

Merge pull request #13 from makerdao/es-support-open-market-operations

Support permissionless rug on ES

Merge pull request #12 from makerdao/audits

Continue CS 6.3 - Remove return value from approve's interface

CS 6.3 - Remove require around approve in _swap

MACRO-I-1 - Warn against 0 or low yen

MACRO-I-2 - Block scope = 0, warn against low scope

MACRO-Q-3 - fix documentation to use better or the same

MACRO-Q-2 - tighten scope filing overflow check

MACRO-Q-1 - fix documentation on the yen value

Uni v3 twap (#9)

fix typo in README

Merge pull request #7 from brianmcmichael/multi-strategy

Add rug function