Solucionado
Colocando o método Migrate o compilador trás a exceção: 'There is already an object named 'Produto' in the database.' dizendo que o objeto Produto já está no banco de dados. Quando eu volto com o método EnsureCreated volta a compilar normalmente. Eu devo deixar o método Migrate e fazer qual alteração? Ou posso deixar o EnsureCreated que serve apenas para testar pequenos códigos?
Olá Lucas, tudo certo?
Neste caso não tem problema usar o EnsureCreated(), porque é ambiente de testes e um caso controlado. Mas se quiser usar o Migrate(), sugiro que reveja qual é a atual situação das suas migrações, se for necessário faça uma nova, e apague o seu banco de dados já existente.
Acredito que com isso consiga compilar normalmente.
No aguardo!
Obrigado por esclarecer a dúvida, Fabiano. Exclui meu banco de dados e dei um update-database pra ele retornar, compilei novamente e rodou normalmente a aplicação.