Explicit logging for Hypothesizer checkpointing.

We would like better insight.