Using build-integrated static checking to preserve correctness invariants