Mastodawn

this looks exciting! David is incredibly good at what he does (tool support for property-based testing and test case reduction)

Introducing Hegel, our new family of property-based testing libraries.

@regehr the swarm testing paper was presented at their office and the speaker was the ceo!

@dev oh wow, I hadn't realized this connection!