setting up regression test harness for synthesizer. harness compiles synthesized code, runs it to validate that it causes an assertion failure, then deletes it.