Fix uniqing of heap leaf nodes, which was leading to pointless merges and leaving invalid empty valuemaps whenever one happened
Fix merging a multi with one based on the same object
Add basic support for using DSA; however its accuracy doesn't seem to be up to the task -- Mongoose causes it to collapse to a single, maximally pessimistic node.
Add support for basic argument object identification, to differentiate arguments from globals and later allocs.

Might want to extend this to initial global contents where appropriate.
Replace postdominator trees with an incrementally calculated measure of certainty. Assumed-edge logic remains the same.