have_received matcher now checks that instances respond to sent_messages selector instead of checking that they conform to the CedarDouble protocol