Improving backtraces by demangling C++ names and adding some framing text.  Improving reporting for ensures/requires violations by using custom error reporting rather that leveraging assert macros.  This gets proper line and expression reporting for the declaration site.  For ensures violations, would be nice to get the dynamic failure location too.  It's embedded in the backtrace, but could be drawn out.