Recon

Recon helps you build and run invariant tests