Make 7.0 the main test platform for iOS (now that coverage reports are working on 7.0)