Add Certora specs for Vat and Dai contracts#272

Open

gbalabasquer wants to merge 2 commits intov1.2from certora-v1.2

+2,055-5

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