Investigate if/how to integrate Saturn into HEIR

Saturn is a introduced in ["Level Aware Bootstrapping Placement for Fully Homomorphic Encryption Using MaxSAT"](http://reports-archive.adm.cs.cmu.edu/anon/2024/CMU-CS-24-134.pdf), a MSc thesis by William Seo from CMU, supervised by Wenting Zheng and Fraser Brown.

> On average Saturn achieves a 5.25× speedup in bootstrapping placement
selection time compared to DaCapo [7], the state-of-the-art automatic bootstrapping method.
Additionally, the benchmarks generally have faster estimated inference time for a CIFAR-10
image, when bootstrapped by Saturn versus when bootstrapped by DaCapo [7].