Distinguish between empty byte buffer and 0-index nonempty in read-nonempty-bytes
Simplify code of read-nonempty-bytes
Add a test for single byte case