Implement proof aggregation with the binary tree strategy. The btree circuit is in this [branch](https://github.com/anoma/arm-risc0/tree/enrique/aggregation_btree_circuit)
