We have 410 R710s on campus using two virtual smartzone controllers. We have a large number of district owned devices as well as personal devices on our wireless network. We made the decision when we installed the network that district owned devices would be on 5GHz and personal devices on 2.4GHz. In other words, all of our district owned Windows laptops, Mac laptops, and Chromebooks would connect at 5GHz, they cannot jump to 2.4. For our Mac and Windows laptops we use 802.1x and onboard them using Cloudpath. Chromebooks are a hassle on 802.1x so they are on a separate SSID using WPA2-PSK.
All of our MacBook Pros are running High Sierra and working quite well, even with roaming. We are using the latest firmware with our vSZ controllers. Now, I say working quite well since end users are not complaining. We have a lot of MacBook Pros so I am assuming if they were not working well we would have heard end user complaints.