Wonderful new stuff. I heard it suggested recently that it would be interesting to build a static analysis system around proving that code was wrong (as oppose

Wonderful new stuff. I heard it suggested recently that it would be interesting to build a static analysis system around proving that code was wrong (as opposed to proving that certain classes of bugs were missing). Fuzzing seems like one reasonable approach. Love the editor integration too.