Refactoring of the merkle sum tree chip - [x] Add test to generate and verify proof without using mock prover - [x] Better error handling in tests - [x] Fix printing
Refactoring of the merkle sum tree chip