More reasonable return type for solveSATWithCores
CEGIS discards tests that crash the evaluator
Try harder to find verifiable solution in validatePrograms
Increase default CEGIS size