Tensor Product Categorifications and the Super Kazhdan–Lusztig Conjecture