Restore a test that was accidentially deleted

Also remove coverage from bundled phpunit.xml.