Implement invariant checks for the IR

[kyouko-taiga]

The IR relies on many invariants. Many of them are documented but almost none of them are checked. We should write a function that one can use to verify that these invariants hold.

One difficulty is that some invariants are only established after the IR went through certain transformation passes, so we should design a system that can account for that.