Investigate introduction of cargo-careful #1127
Description
It might be interesting to go in the other direction, though. Although we can't run Uhyve in Miri, it is still possible to run it with cargo-careful, which we also do in the kernel for all dev profile tests in CI.
Originally posted by @mkroening in #1040