removed _contract_ language from _invariant-..._ as much as possible

added a hint as to why the error message uses the inappropriate contract language