integrate boolify

[voltrevo]

Enables compiling down to boolean circuits via boolify by using --boolify-width in the CLI (see readme update).

Includes switching from ArithmeticCircuit to a shared BristolCircuit crate.

[codecov-commenter]

⚠️ Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

Attention: Patch coverage is 89.79592% with 5 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
src/main.rs	0.00%	4 Missing ⚠️
src/a_gate_type.rs	95.83%	1 Missing ⚠️

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Files with missing lines	Coverage Δ
src/cli.rs	91.66% <100.00%> (+1.66%)	⬆️
src/compiler.rs	84.75% <100.00%> (+0.08%)	⬆️
src/process.rs	58.12% <ø> (-0.15%)	⬇️
src/program.rs	97.67% <ø> (ø)
src/a_gate_type.rs	95.83% <95.83%> (ø)
src/main.rs	0.00% <0.00%> (ø)

... and 1 file with indirect coverage changes

[voltrevo]

I needed to change this to make the example circuit work with boolify.

The reason 1 doesn't work with boolify is that the resulting circuit doesn't depend on any inputs. This is a problem for boolify because it avoids the need for any explicit constant encoding by using XOR(x, x) of an input bit to create false, and negating that to produce true. If there aren't any inputs, it can't do this.