Regularization in Spider-Style Strategy Discovery and Schedule Construction