Make --sysroot available for the command line. Add a rust-toolchain Make core::slice::Iter methods generic. Add def ids for un-summarized functions in the call graph being analyzed. Add (assume|verify)_unreachable macros. Make the result of an uninterpreted call more complete to allow better refinement. Promote pre/post conditions for async functions.