v0.0.0-8744-g7677774fc

Make bdd_query_engine calculate AtMostOneTrue out to 300 bits

We previously wouldn't even try for more than 64 bits. By allowing more depth we get better results.

This also rewrites the checker slightly to avoid creating as large of a BDD improving performance.

PiperOrigin-RevId: 812934517