Add explicit synthesis or suppression for properties defined in a protocol.

This needed to be done to silence the compiler (though, why were these not reported before now), however, it doesn't appear that this class, TestVerifier, is even in use, so it should probably simply be removed.
Upgrade Xcode schemes to 5.1 (no changes).