Added handling for extra bytes at EOF.
Introduced SdtBinaryFormatException to improve recognition of bad input
files. Bad input files will now be recognised early with high
probability and processeing is aborted.