Support for verifying data segment inclusion proofs on-chain

Support for verifying data segment inclusion proofs on-chain