Provide a way to get error diagnostics out of isinstance checks

[reinerp]

The assert isinstance(...) pattern prints a mostly useless message, just "AssertionError" without explanation. Would it be possible to expose an assertIsInstance(x, ty) API that prints expected versus actual, like we get for errors in the function arguments?