Ban wood from woodshop…makes sense to me…I think this is one of those things that belongs more in the folklore collection…yes, it can be pitchy, on the wet side, and warped, but ban it? it is ubiquitous, inexpensive, and well suited to some projects…
Southern Yellow Pine is not even a species, it is a group: https://www.wood-database.com/wood-articles/pine-wood-an-overall-guide/
Yes, it is probably worth suggesting not to cut on Sawstop, but there is absolutely no reason otherwise. It also sounds like one of those rules that was made with good intentions but not enough information.