Read a range of values at each key from state starting at the key
into memory starting at the given memory address.
The key is lexographically incremented for each value read.
All keys are assumed to be the same length.
An [index, len] pair is written into memory for each value, followed by
the values themselves. E.g. when reading values a and b, they will
be laid out in memory from the given mem_addr as follows:
[a_addr, a_len, b_addr, b_len, a_value, b_value]
Read a range of values at each key from external state starting at the key
into memory starting at the given memory address.
The key is lexographically incremented for each value read.
All keys are assumed to be the same length.
The external state is at the ext address.
An [index, len] pair is written into memory for each value, followed by
the values themselves. E.g. when reading values a and b, they will
be laid out in memory from the given mem_addr as follows:
[a_addr, a_len, b_addr, b_len, a_value, b_value]