Cheap code means formal verification is reasonable now

I work with you so I'm bias but I think this is neat.