-Add missing infer_shape and tests about it to Shape_i and MakeVector.
-Add missing infer_shape to the Assert class.