Testing Automatic Migration in EF4