Add more testing cases for tbaa.struct

Testing cases for structs of structs and unions of structs.
Further weaken block conversion rules to permit blocks with
enum return type to be converted to blocks with any integer type
of the same size.

rdar://13463504