feat(avm): range constrain kernel output write_offsets to be less than MAX PER TX

[Maddiaa0]

Overview

For each kernel output array, there exists a write_offset that determines the next index into the output array that the next side effect should be written into.

Currently this output value is not range constrained,

• We will need to perform a differing size range check for EACH write offset, as each offset will need to be a differing length.
• we could perform these varying length checks in one column by constraining MAX - offset in CLK i.e. that MAX - offset does not underflow