Use separate lock file to avoid panic in Sled. Only share the persistent store between crates if flag is present. Contracts for variants of rand.Rng.gen_range and rand.Rng.gen_bool. Give diagnostics if non public function is a call tree root. MIR assertions now treated just like verify.