feat: abbreviate numbers higher than 1000 in dataset side nav

[chriswhong]

Abbreviates large numbers in the dataset nav. Also shows a tooltip with the actual number if the number has been abbreviated

.

Closes #619