Add argument to specify seed for random number generator. am: ffaca0b75c am: 765ae49dab
am: c2b6e8b813  -s ours

Change-Id: Id40d4e884d12185488d40f48acc8184d6a3da7d0