Restore the "optimize small" serializer as SmallNumberSerializer, an alternative to DefaultSerializer
Special Badiff file format
New Random interface for random-access IO stuff.
Check whether a FileBadiff's apply InputStream is a Random if the flag says it must be.