If possible, we should try to move tests from JSOSolver and use them here. In particular, testing whether there are allocations is very useful.