Update to verify in Dafny's tip dev branch. No need for custom branch anymore.