Show the progress of the verification

[stephen-hlx]

It'd be helpful to have something indicating that the verification is actually making progress instead of getting stuck in an infinite loop or something.

Things that can be useful are:

• queue length
• size of state space