Clean up relation handler code.
Handle atomic ops, fence instructions, and global initializers.
Fix enumeration crash when PointsToAlgorithm is null.
Fix instruction analysis crash when a PHI node tries to use an unreachable instruction's result in a reachable block.
No longer asserts on any LLVM testcases.