It is possible that the software in the ABS system is causing the problem, it is also possible that the braking system is slightly undersized for the weight of the car, and rotors or friction materials cannot handle the heat.
As far as I know the ABS system Tesla uses comes from a 3rd party vendor and cannot be updated OTA, because it is a closed loop system and does not run with Tesla's software, this was talked about in a another forum and Tesla people confirmed this. So it will likely be a least a recall for a refresh, and possibly a hardware recall. I am sure Consumer reports will keep us updated. For the record Edmunds test car had warped rotors, and Car and Driver also had long stopping distances. Skipping a formal test and validation program doesn't pay... Elon should have learned by now.