Do not allow too large verbatim strings, and check for EOF while reading.

Do not allow too large verbatim strings, and check for EOF while reading. #20