[corlib] Clean up array binary search argument checks