Output verbose messages to stderr