Randomize encoder seed used between runs in the decoding probability benchmark. Reported-by: Chres W. Sørensen <cws@es.aau.dk>.