Clarified INVARIANT message in get_message_handler#1313

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:bugfix/invariant-messageNathanJPhillips/cbmc:bugfix/invariant-messageCopy head branch name to clipboard