Ensure constant evaluator and compiler produce the same results

[anton-trunov]

It would be a critical bug if the constant evaluator and the compiler produced different results for an (unevaluated) constant expression. So, we can do both at compile time and report a critical error if both results ever diverge.

@jeshecdom you might want to look into this while working on #435.