动手：写属性测试

给你之前写的排序或数据结构写属性测试，看能不能撞出问题。