Add argument to specify seed for random number generator.
am: ffaca0b75c

Change-Id: Ide2937efb74bf6ab4345f4e3f89103cef52725a2