docs for Drop do not explain drop protocol

For example, 
- that the struct being dropped has _not_ been deallocated when `drop()` is called (it's implied by the existence of `&mut self` and Rust's general reluctance to dangle pointers, but still...),
- and that the struct members are recursively dropped after `drop()` finishes,
- and what happens if `drop()` panics.
