Buffered a read to increase speed in Lazy Loading

Added a buffer in SectionReader::readInstanceNumber(). This leads to 1.5x speedup of lazy loading on a 32-bit System. Also Adhered to comments pointed out in the previous commit.