(tnoodle) Changed log level for some timing messages.
(tnoodle) Merging in changes from gnehzr. I have no idea if this is going to preserve his commit history.
Merge branch 'master' of github.com:cubing/TPR-4x4x4-Solver into TPR-4x4x4-Solver