minor bufmgr cleanup

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