Tasks that are necessary before we actually claim v1.0.0 of any of this code, especially before we set things up such that it is available by default as dependencies for new Dafny codebases.