SERVER-9590 SERVER-8069: $push with  $slice and/or $sort, and element sorting