Function spine_len_cmp 

pub fn spine_len_cmp(
    cx: &mut Cx,
    head: &dyn ListValue,
    n: usize,
) -> Result<Ordering>

Compares the spine length of head against n without full forcing.