> It would be nice to develop a general purpose strategy to verify that something is being logged (or not)

Don't we have this? I used Byteman for that several times. You can verify whether a given Log method got called. Maybe we could make this a bit easier via the Byteman helper, but generally we can test this.