Improve PVT solver error reporting.
Clean up degugging output in ambiguity test for release.