Don't treat freeing in a destroyed context as an error

[eyalroz]

It should not be an error to free a pointer when its context has been destroyed. That's like double-free'ing, which should be ok. It might be warning-worthy, or perhaps an error in a strict sense, but no more than that. Especially since we don't increase the primary context reference count with allocations.