Fix rand() range constraint to use abs() for reversed parameters

[lacatoire]

Summary

• Fix the range constraint in rand() notes from (max - min) <= getrandmax() to abs(max - min) <= getrandmax()
• Since rand() accepts max smaller than min (unlike mt_rand()), the absolute value is
  required

Fixes #3890