Scope support for circuit bootstrapping in HEIR

Lots of work has been done recently on circuit bootstrapping, which permits larger lookup tables at the expense of a slower bootstrap operation. Word on the street is that circuit circuit bootstrapping overhead has come down from ~10x to ~2x, which means it's probably getting close to being always better than simple 3/4-bit PBS.

This issue is for scoping what would be required to incorporate circuit bootstrapping in HEIR. Cf the following papers for more context:

- https://eprint.iacr.org/2024/323
- https://eprint.iacr.org/2025/1144 (and #1942)