Function bitIndex

bitIndex extracts the i-th bit (0 or 1) from a 256-bit key (assuming i in [0..255]). This is used in the compacted-leaf logic and typical SMT insertion/lookup code.

• bytePos = i >>> 3 -> i / 8
• bitPos = 7 - (i & 7) -> offset from the left