Tell PHPUnit 4 to shut up about so-called "risky" coverage.

I guess it's time we embraced PHPUnit 4. This PR will make working with v3 less strict, but unfortunately v4 doesn't allow us a backwards-identical configuration option.