Performance regression tests, synthesis regression tests

Improve test suite by providing general&simple performance regression testing.

Also include several synthesis benchmarks as synthesis regression test-suite. For now it's not complete as not all pass 100%. More to come once these issues are fixed.