Enabling too many chips leads to errors in the recursive verifier #188
Description
As discovered during debugging of #186, it seems like having too many chips in the chip map leads to cumulative sum errors in the compress step. Specifically, the proofs outputted by the core verifier running inside of the recursive compress machine have non-zero cumulative sum. Disabling the chips by removing them from the chip map works around this issue. We're not sure exactly what the error inside of the recursive machine is yet.
For now, we've disabled a subset of chips that we are not relying on to work around this issue.