[m-rev.] diff: enable use of error_msg_inst.m to dump insts

[Julien Fischer]

On Wed, 9 Aug 2023, Zoltan Somogyi wrote:

> This should not need review. The attached example
> shows the effect of the new option.

The log message and diff are from your previous change.

Julien.