[WIP] Merge testing analyzer

[knielsen404]

No description provided.

[lbeurerkellner]

Experimented with installing the package locally now (poetry build and then installing the whl). I tested both testing, explorer and analyzer with some basic use cases, and everything seems to work as expected Some things I found:

• It would be great to have an invariant/__init__.py that imports the sub packages analyzer and testing
• I think requirements-dev.lock and requirements.lock are no longer needed
• I think the CLI option invariant help does not work
• We need to rename the package to invariant-ai in the pyproject.toml. On PyPI, we are publishing as that.

[lbeurerkellner]

Apart from the above, everything works very nicely. Thanks a ton. This is great to have back again.