Add seed to hash of numeric keyed properties.

Minor cleanups of numeric seeded hashing patch.

Split NumberDictionary into a randomly seeded and an unseeded version.
We don't want to randomize the stub cache.

This is a back port of 10366, 10367, 10402 and 10443.

This is a commit of by Fedor Indutny.

git-svn-id: ce2b1a6d-e550-0410-aec6-3dcde31c8c00
37 files changed