aco: validate instructions reading/writing upper halves/bytes