Proto/Elaboration: remove special case in logging

Context

In !3744 (merged) I want to get rid of matching Micheline locations in the protocol. Fortunately it happens only in one place, used only for logging, i.e. not in the execution paths of operation validation but only in tests. Let's see whether there is still a need for it. If the CI is green we can safely remove it, otherwise I'll have to revise this decision. It worked, yay 🎉

FTR: The pattern matching on -1 was added by @klakplok here: b22f0286 4 years ago tomorrow...

Manually testing the MR

CI

Checklist

• [ ] Document the interface of any function added or modified (see the coding guidelines)
• [ ] Document any change to the user interface, including configuration parameters (see node configuration)
• Provide automatic testing (see the testing guide).
• For new features and bug fixes, add an item in the appropriate changelog (docs/protocols/alpha.rst for the protocol and the environment, the Development Version section of CHANGES.md for everything else).
• Select suitable reviewers using the Reviewers field below.
• Select as Assignee the next person who should take action on that MR