[compiler] Add repros for various invariants

We received some bug reports about invariants reported by the compiler in their codebase. Adding them as repros.