Corrected verifyThat() to accept super-Matchers