Since your server is making the generation of the random it makes it no different than a static seed. You should offer the ability for both.
Hmm, actually I don't believe there's any reason the server should ever be generating the client seeds, but I'm assuming they're going to fix that.
Also supporting a static client seed seems kind of pointless, and I personally wouldn't bother; but I guess gamblers are a superstitious bunch and if there's enough demand for that it makes sense. However, as you say the client seed should definitely be user-editable, so if users don't trust the client-seed generation they can do it themselves.
Anyway in the previous thread, BetterBetsDev
said he's working on the fixes, so you're kind of beating a dead horse here.
It's pretty clear that they're not trying to cheat anyone, and people do have other real life commitments -- so I think it's fair to give them another week or so to finish it up =)