Fix integer assumption bugs, including a long-standing mistake inserting casts before PHIs rather than in the node's predecessor block.
Fix string-path-condition code: make a constant global rather than passing first-class arrays around
Revert GlobalDCE changes to elim indirectly called functions, made for xmlstar eval, but only really makes sense for whole-program situations.