This PR implements SquashDictInnerLenAssert hint, which asserts that the length of the current access indices for a given key is zero, with current_access_indices being a reversed order list of access indices for a given key, i.e., sorted(access_indices[key])[::-1]
Resolves #300
This PR implements
SquashDictInnerLenAsserthint, which asserts that the length of the current access indices for a given key is zero, withcurrent_access_indicesbeing a reversed order list of access indices for a given key, i.e.,sorted(access_indices[key])[::-1]