Who tests the contract tests?

[jbrains]

I have completely rewritten this article, in case the new version interests those of you who have commented on it in the past.