Should kani run the the compiler with -Zrandomize-layout by default?

[giltho]

I just learned that the -Zrandomize-layout feature is already out. Even though kani is bit-precise, the analysis shouldn't be depending on specific layouts. Some bugs might be caught by running the compiler with this flag