Improve Exts.Random

Small tweak to avoid copying the input sequence in Exts.Random when possible.