Experimental Feature - Incremental Proof of Inclusion

This is an experimental feature available at https://github.com/summa-dev/summa-solvency/blob/master/zk_prover/examples/gen_inclusion_verifier.rs, it is not production-ready. If you are willing to bring it to production, please reach out on Telegram