Add a simple analysis to identify known NULL and known not NULL pointers
Add a forward dataflow analysis variant

This allows an extra transfer function to put edge-specific data on
edges leaving Terminator instructions.  Testing incoming.

A variant is also possible for the backwards dataflow analysis, I
believe, but it isn't implemented yet.
Export a new helper to make determining which branch a pointer is NULL on much easier