Fix: don't allow pseudo-allocations within a path condition function to be used elsewhere in the program
Add delink "everything-except" mode for quick and easy opt experiments with an extracted function
Add support for AtomicRMW, AtomicCmpXchg, Fence and ordinary loads and stores with ordering constraints.

They are PE'd as a sequence of their constituent sub-instructions, are yield points, and are usually checked.