Well, as RTSTV shows an issue anyhow would it be reasonable to simply use FTSTV? This way we would get two things at once: we would solve the randomness issue and we would have a final decision on which voting system to use.