Move simple tests from main program to separate unit tests.
Move relaxation tests to separate file.
Extract more tests to separate files.
Remove old test file.
Run tests in CI.
Move generator tests to separate file.