coresolvertest: BlockSolver -> CoreSolver, add sequential 40% test