Fuzzer generates duplicate __proto__ properties

[bakkot]

Although property names are nearly random, so this does not happen in practice. First thing is to bump the probability of naming properties __proto__, constructor, prototype, and other interesting names, like strings representing nonnegative numbers (when allowed).