Add assert failure messages to some tests.

In tc_resolver.rb, added assert helper methods for more thorough and consistent failure messages.