And there was at least one vendor (Apollo Fusion) proposing a mercury thruster, although I think they have backed off on that. It would have had about 3x the impulse per volume and 2x the impulse per mass of xenon.
I think banning it now is wise, if any small operators had started using it it would have been hard to block it for a megaconstellation and it was very clear that anything release in VLEO would be coming back into the atmosphere. Right now there are no users so you aren't really penalizing anyone.
I rounded up to one ton, since we're only trying to figure out order of magnitude.
Is that a lot of fuel? 5kg times 12000 is about 60 tonne. That's the weight of two big truck approximately. In which sense is that a lot of fuel?
And besides krypton is a noble gas, it doesn't react with anything.