Add integration tests

[santolucito]

some tests should be full pipeline (or partial), for example, seeing if a TSL-MT spec is realizable. eventually would like to have a true full pipeline from spec to run tests on generated code and checking that the generated trace matches the original spec