Fix rand_int() producing non-random output
Fix rand_int() producing non-random output

jquesnelle/libntru,jquesnelle/libntru,iblumenfeld/libntru,jl777/libntru,jl777/libntru,iblumenfeld/libntru,jquesnelle/libntru,jl777/libntru,iblumenfeld/libntru