Gate-elimination lower bounds

This umbrella module exports the basis-independent certified-reduction framework, the XOR target family, its De Morgan specialization, and transport of that lower bound through circuit translations.