Fix hashing examples to comply with balance change.

Also be explicit that child hashes used when hashing internal nodes are also
"64-digit hexadecimal string with lowercase letters", for consistency with JSON
below, and take the opportunity to sneak in a concrete example hash with
leading zeros.