Do not print error codes by default

Adds a new compiler flag to emit error codes, and disable it by default. Fixes #693.

Changed to showDiagnosticCodes to proof for future discussions to emit warnings or messages.