Tentative fix to external pointer isolation.
* First, run a pre-pass to collect the memory regions used in call returns,
  and allocation instructions, noting whether any region contains addresses
  which are allocated by the program.
* Then, add "assume $isExternal(_)" annotations to all return assignments which
  do not alias program-allocated memory.
Minor cleanup.
Merge branch 'develop' into structret