The WiredTiger formatted timestamp string buffer size is too small, it doesn't account for the expected space between the upper and lower parts of the timestamp.