add routines stack_verify and stack_pointer, in debug mode call stack_verify on front-side of context switch and time-slicing