Hi all! My primary objective with this post is to find potential collaborators and people willing to try it. (and file bugs!)<p>If you do try it, I'd encourage you to think of it as an exercise in formally documenting your code's behavior, with the side benefit that CrossHair can sometimes help you ensure the correctness of that documentation.<p>And, of course, feedback of any kind at all is honestly appreciated. Thanks for being the awesome community that you are!