This module provides gadgets for performing indexed lookup operations for incrementing
8-bit values with carry, using lookup tables. It includes types and functions for
constructing, populating, and testing increment lookup tables and their associated
circuits.