All tools should come with a model-free option (e.g., guess and always in libem.match) for unit / integration tests that involves no actual model calls.

Once we have this support, we can start adding CI / GitHub actions.