[compiler] Migrate CompilerError.invariant to new CompilerDiagnostic infra

Mechanical PR to migrate existing invariants to use the new CompilerDiagnostic infra @josephsavona added. Will tackle the others at a later time.