All of the methods which rely on the assumption of `len >= 1` use a safe `.unwrap()`. But why? using the `unsafe` version of `unwrap` would allow for guaranteed check eliminations.