Make check-exn/check-not-exn keep the check failure message.