check_length function

This function checks that the vector-like objects x, y are of equal length.