massive new version of halmos released: https://a16zcrypto.com/posts/article/halmos-v0-3-0-release-highlights/ I won't rehash the points here, but happy to do an AMA