Function check_variadic_counts_consumed 

fn check_variadic_counts_consumed(
    variadic_counts: &VecDeque<i64>,
) -> Result<(), ArrowError>

One variadic buffer count is consumed per BinaryView or Utf8View column in the schema, so any count left over means the message and the schema disagree.

The opposite case, too few counts, is reported by RecordBatchDecoder::create_array.