IMO, just charging the cells to 12V would be your best bet.

You’ll always be able to super charge the cells without concern for cycle life at 4V/cell.

And max charge would be 12,6V.

I would personally be on the safe for a full charge at 12,5V + the BMS you linked above.