Refactor veritesting to not use step_state #830
Description
Veritesting plays very poorly with exploration technique-level instrumentation because of how it obscures visibility of control flow step-to-step. Rewriting it with step will improve its usefulness.