Implement nil checks for field addr, index addr, load and store
Bounds checking for index addr