redex: parallelize benchmark generation modes

also, add a timeout (currently 5 mins)