But its damned unlikely, that the program returns to the main, if the stack was crashed.

So the better place to test the stack was a timer interrupt, which test, if SP is always above STACK_START+1.
On derivates with only 128 bytes SRAM an additional test, that SP below 0x80 must be done.


Peter