They said that they are using FreeRTOS version 9 which did not have Cortex-M33 port with PSPLIM registers support. My guess is that they are running M4 port.
The Cortex-M33 ports always catch stack overflows immediately regardless of the value of configCHECK_FOR_STACK_OVERFLOW.