Constraint for most recent four numbers are unique out of stream of random number

[dave_59]

In reply to megamind:

• 1^st Q: The literal 14 is a signed 32-bit decimal number, the largest type in the expression.
• 2^nd Q: A has a 3-bit value 3’sb111. That gets 0-extended to 32’b00000000000000000000000000000111
• 3^rd Q: Percentage = 100 * individual_weight / total_of_all_weights