This PR adds matchers that accept a callable and verify that when invoked, it throws an exception with the given type and properties.

Fixes #952