checking for compatible allocation domain on Fusion::replaceOutput

[jjsjann123]

Question started from #3970 (comment)

We would want the option to check for compatible allocation domain when calling Fusion::replaceOutput, this is to avoid accidental semantic change or violation of memory format on aliases. We'll need to ensure that the new output would have equivalent memory format as the one it's replacing.

This issue is to track that we have a follow up PR to add that. I'm currently not clear on how we should check for equivalency yet.