doc: Remove statement about scheduling randomness

The new scheduler is not currently that random.