Initial proof-based rig
Now with better coverage
Use git for proof diffing
Also have a colorful Passed! output