Some additional free()s, type alignment, branch on unitialized values

Also fixes signal handling which was broken for me and replaces asprintf with malloc+snprintf to use only c99 functions. One or two type annotations for splint too.