StringEditDistance.stats reimplemented to use much less memory (now using EditTable which implements binary storage of edit operations).