fix: make lookup-any-sanity-checks optional in halo2_proofs

[ed255]

halo2_proofs was importing halo2_frontend with the default features, so there was no way to disable lookup-any-sanity-checks when using halo2_proofs.

Now halo2_proofs imports halo2_frontend without default features, and the dependencies features are completely controlled by the user via the halo2_proofs features. I did the same for halo2_backend to achieve the same level of control.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 82.64%. Comparing base (445d1da) to head (eaaefe1).

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #358   +/-   ##
=======================================
  Coverage   82.64%   82.64%           
=======================================
  Files          84       84           
  Lines       17750    17750           
=======================================
  Hits        14670    14670           
  Misses       3080     3080           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[guorong009]

LGTM! 🚀