Documentation

RandomSamples, using a seed allows you to replicate an arbitrary. By
storing the seed and the samples (previously produced arbitraries), we can
try to reproduce the same samples by generating the arbitraries with a seed.