Handle "align" on loads and stores
Handle "align" on global variables
Handle forward references to alloca instructions (and other pointers)