Make sure we test checkObjCWitnessSelector() in the multi-file case. I made some changes that regressed a source compatibility project but the regression was not caught by our test suite, so make sure we have a test for this now.