TypedPython: numpy bool array parameters (1-byte elements) #261

Split from #220 step 1 (leader decision). NDArray[np.bool_] parameters need a 1-byte element type through the IR, verifier and tp_buf (today 8-byte items only).

Done when: bool numpy array parameters compile on the buffer path with a 1-byte element type, and results and result types (np.bool) match the interpreter.