Quality improvements among others

[ghost]

Add a functional test for CFA, many minor code quality improvements.

• [ ] Fix tests, LTL and so on...
• [ ] Temporarily lib and binary paths are hard-coded
• [X] CFA tests are coded in a way that is good for us
• [X] Integration with Theta is possible

Integrated with Theta, so copying the repository's working directory to subprojects/ltlverif and registering it under build.gradle.kts, it works perfectly.

If you do not need a feature (e.g. want a standalone Java project instead of integrating to Theta), I'm able to remove them from the PR.

[ghost]

I think I am using a retarded Git which will make merging contributions harder :/ Moving/renaming a file loses the semantic link, which is nice because I've moved almost every file...