Extract ExternalPointerEffect from the interpreter. Now PointerCFGBuilder can also use it to optimize the PointerCFGNode emitted for external functions.
Two more state propagation bug fixes.