Update rust nightly to support codegen-backend

[sigmaSd]

I'm using

[unstable]
codegen-backend = true

[profile.dev]
codegen-backend = "cranelift"

so it would be great if I don't have to remove it to run prusti

[fpoli]

Sure, we plan to update Prusti to the latest nightly version.