Factored out test case class.

* Disabled the debug heap (can later make it an option).
* Dumb fuzzer now has random flip counts instead of fixed ones.
* The test case is rerun multiple times to ensure reproducibility.