Upgrade EF to 9.0

[AndriySvyryd]

EF 9.0 has a number of significant improvements for migrations.

• MigrateDbContextAsync should no longer use an explicit execution strategy when calling InvokeSeeder
• Seeding should now be done using the new UseAsyncSeeding method on DbContextOptionsBuilder

This can be done before dotnet/aspire#5207

Optional changes to illustrate best practices:

• Add seeding logic that's conditional on the environment (i.e. Development would have more seed data for testing compared to Production)
• Pass through the name of the target migration to MigrateAsync to add clarity to the code and an additional step that could prevent a migration to be accidentally applied to Production