PSA - Should random number generation allow run-time lo/hi values?

[jafingerhut]

In documenting v1model.p4 recently, and doing a quick pass review and comparison with PSA, I noticed that the PSA Random extern limits the specification of lo/hi values to compile-time constants in the constructor call, whereas v1model allows run-time lo/hi specification.

Perhaps that was an intentional limitation for PSA, but wanted to create an issue for us to consider the topic briefly.