Fix panic in `BufferContents` derive expansion and wrong safety docs

[marc0246]

This debug assert was checking a safety precondition that's too strong, while at the same time the documented safety preconditions were too weak (the pointer must have valid provenance since #2563).