SF bug #494668: PUSH() should assert-fail on overflow.

eval_frame():  Added asserts to the top of the eval loop, to verify
that the eval stack pointer is in bounds, plus some comments.