* Check heap-allocation-not-null instructions, rather than taking them as read
* Fix a pending edges reference counting bug
* Add support for user-specified deallocators, much like user-specified allocators already present.