adding instance read only flag 
removing old methods from the store interface
replacing check interference with interfering keys
moving prepare successor comments onto check defer to successor method
adding todo note about instances with multiple keys
make interfering keys only operate on a single instruction