Revert "Remove unneeded validation at the end of typechecking."

This reverts commit 018e5082546eedb643bceecdf802075c656f43b8.

Was needed in the end. See the test TcStaticValuesFail03.hs.