I also wonder if it would help to have an emergency discharge port or something? In other words, a fire truck pulls up and they plug a cable from the car's discharge port that energizes some high-power heating elements to boil water or something. The idea being that the faster you can discharge the battery, the less stored energy you have to deal with catching things on fire again. (Though it might not actually help, since in the short term extracting power from the battery will just cause it to heat up more.)
(The "emergency discharge port" could just be a DC fast charger port with some method to force the contactors to engage.)