coresolvertest: double check that CoreSolver still works (it does).