Always abort() on stack underflow

[ilg-ul]

The stack underflow condition is tested always, even when asserts are not enabled.

Do not rely on assert() to terminate the program, add an abort() after assert() to make sure the program always terminates.

[ilg-ul]

Fixed on 2023-06-11.