Improve load/store handling of undefined reads.
We'll now return undef values rather than undef behavior if reading from unitialized memory.
Plus assorted bug fixing in load/store instructions