First cut at basic block analysis

This includes symbolic analysis of the stack.