coresolvertest: much more verbose debugging