Issue #24762: Speed-up frozenset_hash() and greatly beef-up the comments.