Add 'orderby'=>'rand' option for get_users() function

[letraceursnork]

Recently I've faced the problem when I need to get random user (in my case it's only one, but I see that it could be many). I solved it the other way, but I thought that it is very inconvenient that developers need to reinvent the wheel every time by their own instead of we just add

<?php
get_users(['orderby'=>'rand']);

possibility