Function validate_shape 

pub fn validate_shape(data_len: usize, shape: &[usize]) -> Result<()>

Validates that data_len matches the element count implied by shape.