WiredTiger formatted timestamp string buffer size is too small

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.