Added some simple progress information to verbose subcircuit miner output