CPS: Small: Scalable and safe control synthesis for systems with symmetries