Enabling too many chips leads to errors in the recursive verifier

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.

Start by reviewing issue #186 and reproducing the recursive compress machine with the full chip map enabled. Trace the core verifier proofs and cumulative sums during compression; done means the recursive verifier no longer produces non-zero cumulative sums without disabling chips.

Written by the indexing model from the issue text.