norm_inf_mul: calculate the norm_inf of a product cheaply
Adding diagcat & diagsplit