You are correct about Vaseline being a bad idea, but that's because it could cause the condom to break. Your condom clearly did not break, so you were at no risk for HIV.
There is no need to fill condoms with water to check their integrity. If a condom fails in a sufficient manner to allow transmission of HIV, it will burst open and you will have no doubt that the condom failed.