Memory access disambiguation

To get loads right when loads and stores can be reordered, we need to check the actual addresses:

• Maintain a buffer containing the target addresses of issued store instructions
• Check each load to see whether its target address matches the address of an outstanding store
• If so, stall the load until the value to be stored becomes available, and substitute it in -- bypassing the memory.