For the record, https://twitter.com/IAmJerdog fixed the CircleCI stuff. The fix was reactivating "performance trial". It has been extended for 1 year. If we run into trouble again with the macOS stuff, I'll contact him again.