Formal Verification Lab

We're making some exciting updates