A change to Combine.XOR

Prefix each inner HMAC with a unique 0,1,2...n seed, so that even
if we have the same HMAC in both places we don't get 000000...

Also more work on documentation.