Improve documentation of new BufferedIO methods

In particular, clarify semantics regarding when 'readBuffered' may block
and when 'writeBuffered0' may return 0.