Improved logging.
I can now properly tell the number of valid candidates presented to a user.  Before, I was using expression generation and skeleton results, but the former needed to be ignored when using skeletons as they were only intermediate results.  Now I just always print out the final synthesis result.