Randomize dynamic array with constraint array.sum()

[cgales]

In reply to Yehu:

std::randomize(evgm_data) with{ evgm_data.size() == evgm_data_size;
  evgm_data.sum() with ( 36'(item) ) <= 36'(evgm_data_sum); //inside{[0:evgm_data_sum]};
};