Added ConstraintCheck calls to Interpreter. ConstraintCheck does nothing useful as of this commit, but when it does the Interpreter should be mostly finished!