DaZhi-the-Revelator packages

A contract programming module for V. It provides preconditions, postconditions, invariants, and assertions — all routable through a replaceable violation handler, all disable-able with a single flag, and all integrated with V's native `!T` error propagation.