[dfsan] Add test cases for struct/pair

This is a child diff of D92261.

This locks down the behavior before the change.