Tweaking the wording of the HashAlgorithm op() effects.
Removed the unspecified behavior of length 0 keys as this was incorrect.
Length 0 keys must be specified to do nothing, otherwise concatenated
calls can not be guaranteed to be equivalent if the concatenation contains
0 length keys.

Also restated the concatenated key equivalence relation.