incremental implementation spawning of verifier from test harness