Questions about implementations and types

[benluelo]

Hello, we are working on an implementation of the ics23 spec and we have a few questions about the spec and implementations found here.

• What is this check against 32 for?

  ics23/go/proof.go

  Line 158 in bf89d95

  if len(res) > int(spec.InnerSpec.ChildSize) && int(spec.InnerSpec.ChildSize) >= 32 {

• is ProofSpec.InnerSpec nullable/optional? afaict, every use site of that field requires it to be set, but I'm not 100% sure since in the testdata, it is omitted sometimes: https://github.com/cosmos/ics23/blob/master/go/proof_test.go#L36

• What are the validations against the IAVL spec in LeafOp.CheckAgainstSpec (go, rust) and InnerOp.CheckAgainstSpec (go, rust) for?