Detect and report rotten green tests

[cschreib]

I read an article the other day on "rotten green test", i.e., tests that are reported "green" (passed), but that don't actually execute anything, hence don't test what they should. There's a report on the topic, and a PR for GoogleTest to attempt to catch and report this. Perhaps we should also do something about it too.