switch to 75% as the default load factor for the seen set

This is what Java's HashMap uses, which presumably has been battle-tested and
profiled in the real world, so it seems sensible to try such a thing for our use
case.