Machine Learning for Semiconducting Solids: Benchmarking, Thermoelectric Discovery, and Dopant Engineering