Update: the workaround for this issue seems to be to delete everything in ~/Library/MobileDevice/Provisioning Profiles while Xcode is open, which then will re-download the profiles that it’s managing (which are different from the deleted ones). After this happens, the correct profiles are pulled during the Auto-Provision step, which include the updated list of devices.
How do I avoid needing to use this workaround?