Add an Invariant checker, with a single invariant that ensures the stack never points into the frame.