message: do not print stack trace if the exception is handled
  Summary: This stack trace is not that useful on command line because a lot of function names are missing. We can use gdb to break assert_fail function to obtain stack trace.
diff: @@ -76,8 +76,5 @@ void assert_fail(const char* expr,
  msg += v_format2string(fmt, ap);
  va_end(ap);
  - // our signal handlers will call this too, but they won't print the full
  - // stack if the exception has been rethrown
  - crash_backtrace();
  throw RedexException(type, msg);
  }
  