BitReader.discardBits

Discard the partial bits below the current byte boundary.

Whole bytes staged in the bit buffer are kept and will be returned by later readByte() calls, even if they were loaded from a previous input buffer. The old implementation tried to rewind pos instead, which silently destroyed stream bytes whenever the staged bytes came from an earlier buffer.