Initial binary search impl, updated test