more statistics after execution

* Add total/max count of instrustions in test cases generated.
* Dump more time statistics after executing.