Invariant cleanup in interpreter_evaluate.cpp

This mostly entails using to_XXX_expr in place of using ad hoc asserts.
At the same time, some minor cleanup work is done to improve the
readability of the affected code

Author: hannes-steffenhagen-diffblue