Auto merge of #119892 - joboet:libs_use_assert_unchecked, r=Nilstrieb,cuviper

Use `assert_unchecked` instead of `assume` intrinsic in the standard library

Now that a public wrapper for the `assume` intrinsic exists, we can use it in the standard library.

CC #119131

Author: bors