printing traceback in verbose mode