Bug fixes + Cmake support

• Support for running "build" tests checking static-asserts and other model checks done a compile time on CMake build.
• Fix to a failing build-test related to checking couplings are tuples.