This patch makes a trivial improvement to IncrBufferRefCount(): rather
than asserting that BufferIsValid() and then manually asserting its pin
count is > 0, we can just assert BufferIsPinned().
I'll apply to HEAD before end of day, barring any objections.
-Neil