sim: add address check (load, store, instruction)