This is but a single data point, but I was able to successfully compile and flash 510 from Arduino 1.8.13 on macOS 10.15.7.
Is there something in particular which manifests itself as broken, or is it just that generally Marlin is moving away from Arduino and so 507 is the last “guaranteed” firmware?