random: Mark mt_getrandmax() as @compile-time-eval

random: Mark mt_getrandmax() as @compile-time-eval #16341