Use lengths to load JSON records.

Use lengths to allocate the `Buffer` used to load JSON records not
loaded by replaying the log. That is, records that were written before
the last positions entry.

Closes #154.