Added a test that builds two dynamic libraries and sets up a redundant protocol conformance (we use dynamic libraries because the compiler will normally reject redundant conformances), then checks that when we rely on it, we get a warning message.