580fd636c0
If the exception doesn't need printf-style formatting then calling mp_raise_msg is more efficient. Also shorten exception messages to match style in core and other ports.