New variant of die which takes verbosity.

This flips error handling around, so that 'die' now can format
an error message with call stacks and markers before raising
it to the top handler.  The top handler detects "verbatim"
deaths and prints them without formatting.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>