Follow-up from "Draft: Add regression tests for logging machinery in Michelson interpreter" : instrument tests as well

The following discussion from !4918 (merged) should be addressed:

• @mbouaziz started a discussion: (+2 comments)

  @arvidnl I'd like to check that all cases are reached. Should we instrument test files too for coverage?