Add analysis-synthesis tester

[kyorav]

Create a tool that can invoke the synthesis on an input spec with API output, then invoke the analyzer to get back to a list of connections, and then (semantically) compare that output with the original input spec.
This tool can then be utilized for automatic semantic testing of the synthesis tool.

This will likely be implemented in a separate repo so that it can import both synthesis and analysis packages without altering the dependencies of either of them.