Remove effectively dead make-message-exception, and related cleanups

In -library mode, check blocks were not being dropped because the
no-checks-visitor wasn't visiting nested blocks.  Fix that.

Also, noticed that the check block in test-binops was never being run while
doing this, so unwrap and fix that
rebootstrap with no make-message-exception