Merge "Revert "Revert "Bring ReferenceTypePropagation to HInvoke return types"""