Automated Analysis of Halo2 Circuits