Adds pre and postcondition checks to your builds.