Вызывать после каждого оператора и не требуется. Достаточно периодически вызывать его в сАмой глубокой функции прерывания. Проверка сигнатуры то же хорошо, но она (проверка) более громоздкая (надо весь верх заполнять сигнатурами и гораздо сложнее получить сам размер) А размер стека позволяет мне осмысленно выбирать размер буферов в программе (естественно с запасом).