Regularization in Spider-Style Strategy Discovery and Schedule Construction Preprint in arXiv (March 2024)