RandomRules now has an IntOption to specify a random seed