I will add that ~9dkh is where I would like to be so im happy with my RC mixing to 8.9. I believe I tested some fresh mix a few weeks back and it was right around this same number. I use the same alk checker for my tank so I would think readings would be correctRC alk is around 12 I believe, if you are dosing AFR and your alk is 7.5 and your corals aren’t growing I would stop before adding anything else to the tank as there is a serious issue needs fixing, sounds your salinity is extremely low or you are testing it incorrectly because no way on earth should RC be that low.
I would definitely change salt as why use a 12 dkh salt when you want your alk at 9, use a salt with 8.5 or 9 ie either one of the two options you mentioned.