Add disable malloc flag

In LLVM 3.3 or Clang before that -fno-builtin would yield the same result by preventing from isMallocLikeFn from succeeding.
Add support for path condition assertions involving function pointers, fix a silly off-by-one mistake, and add a simple helper that prints the layout of a named struct type.