Added a macro TRACEBACK_ASSERT for better debugging
    - if set, a failing ASSERT check prints a traceback