On category O for affine Grassmannian slices and categorified tensor products