refactor: VerifyInclusion should not accept EmptyProof

[walldiss]

Document explicitly that VerifyInclusion does not support EmptyProof. If Empty proof is used in VerifyInclusion it should return error to the caller.