support messages on asserts

Done:
* support messages on asserts
* report additional info (exception/tracebacks) on errors (without printing the full stacktrace)