Add a flag to perform IR verification after various transformations

[konsoletyper]

This should make testing/debugging experience way better when hacking compiler. Also, this would make troubleshooting experience better in cases when a user can't share their code