added print_counterexample:false

also progress message after each found bug
added bugs:prune_bugs/2 to prune existing bugs