Introduce `--check-no-eval` CLI flag for typechecking without constant evaluation

[anton-trunov]

--check does both typechecking and constant evaluation, but sometimes during debugging you need to know where the error comes from exactly. We should refactor out error messages to make it clearer but still having more fine-grained control over compilation stages looks desirable.