Pass `-error-codes` to SANY once TLA+ v1.8 is released

Right now, the `-error-codes` flag will work on nightly but will induce an error on the stable release. Once v1.8 comes out, we can enable this flag unconditionally, which will be useful for CI use cases.

Related PR: https://github.com/tlaplus/tlaplus/pull/483

Requested by: https://github.com/pmer/tla-bin/issues/9