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

Change-Id: Idba699be21aba935c41ff93f27390087f6bb02ea