Ensure that stores to instruction memory are visible to instruction fetches