Update gen_random_trees.py