add --random-gen option as an alternative way for specifying random seed