WyIL: added support for bounds checking of list assignments for #291