halo2 proof bug