Funny, we've all been complaining about how the player does exactly this thing when we don't want it to.

By the way, you can set up the thing you're describing with a special playlist tree and using the playlist properties (play X tracks at random). No need to add the feature, it's already there.