Add Certora specs for Vat and Dai contracts#272

Open

gbalabasquer wants to merge 2 commits intov1.2from

Commits on Oct 18, 2022

Add Certora specs for Vat and Dai contracts
gbalabasquer
committed

Commits on Oct 19, 2022

Full storage layout check for Vat spec
gbalabasquer
committed