Does spice model saturation recovery of bipolar transistors?
FOR excitement, add 100pF in parallel with each of the base resistors.
This will dump extra charge into the base, and is a standard speedup method for saturated bipolars.