TBAA: remove !tbaa from testing cases when they are not needed.
TBAA: update tbaa format from scalar format to struct-path aware format.