Does it still elide the bounds check if you replace the first three lines with

    assert_eq!(xs.len(), ys.len());

?