折半插入排序: 排序流程固定, 「找插入点」由回调提供

外层循环与搬移由 binary_insert_sort 负责; 插入位置通过函数指针 bsearch 回调 binary_search_insert 得到. 留意每轮里控制流如何「调出去再调回来」.