A trivial Bloom filter for the SimpleHashSet
Safety for interrupted committing

If a new version is added into the VersionList, this version must
eventually have its Changes set to something != null, otherwise the
trimming process would never get past it, and we would have a version
leak. This improves the commit code to guarantee this.

Also, some minor comment fixes.