Output statistics at each new PDR iteration if -v given
Cleaned up flags, dead and commented code in PDR
Optionally print the inductive invariant and check if it is actually invariant