String handling slowness / bug

isTerminatedRecordString() will inspect the partial input - and not the whole string => significant speedup.