Assert slicing

Provides an assertion in rtype to make sure the stop value is not larger than the shape.