I am using both Source Control and Schema Compare to manage migrations from Development to UAT. Source Control displays very few changes, while Compare shows a lot of changes to constraings with "NOCHECK" the only difference between the entries.