Cleanup specialized Invariant pre-checkers.

Now that the generalized invariants prechecker is available, more specialized checks can be discarded.