Batch kernel refactor: use `sorted_array::find_word` for searching the output note list

If we use just the single word `NOTE_ID` we can use `sorted_array::find_word` which is quite a few cycles more efficient than `find_key_value`, so I would use that. It does require making `assert_list_strictly_sorted` take a stride parameter so we can assert sortedness for 4 and 8 element lists.

_Originally posted by @PhilippGackstatter in https://github.com/0xMiden/protocol/pull/2905#discussion_r3813097093_