Draft: test: Enable solver tests for HTR
Enables solver tests for HTR. This is an experiment, because the tests might run too long to be practical.
Enables solver tests for HTR. This is an experiment, because the tests might run too long to be practical.