555 Timer: Does the discharge pin show ground when in reset?
Yes, the discharge transistor is 'on' whenever the output is low.

If your simulation appears different then perhaps the model or the connection is faulty. 

Below you can see from TI's data sheet for their LMC555-- similar to yours, the connections go nowhere else, so if the internal node /Q is high, the output is low and the discharge MOSFET is 'on'.