The infamous "NOTE: simplifier still going..." message is now
protected by #ifdef DEBUG.  It doesn't mean much to the average user,
and we tend to use DEBUG when hacking anyway.