Fix comment about undefined behavior of constant_time_msb

This comment was correct for the original commit introducing this
function (5a3d21c0), but was fixed
in commit d2fa1829 (and
67b8bcee)

Reviewed-by: Ben Kaduk <kaduk@mit.edu>
GH: #4975