Make GNAT generate stack checking code.  Enable assertions in the test routines.