Flush for read buffer

[jakoschiko]

The current operation Stream::flush ensures that the write buffer is empty, but not the read buffer. Can we achieve this somehow? E.g. by passing a State into Stream::flush.

This might be useful when the stream is exposed. Then we the user can call flush and safely access the underlying stream.