Improved debug message.
Cleanup and improvements to showproofs.