Move coverage testing out of the Xcode project (to avoid normal Debug builds being slowed down by coverage instrumentation, and to avoid error messages when the tests are unable to update the coverage data).