Change Details

Larry Rosenman tested an earlier version of this patch; it solved some use-after-frees that were consistently occurring in his environment. I've done some testing with invariants and witness enabled in my own setup.