Please review Texas Property Code:
Sec. 52.042. DISCHARGE AND CANCELLATION. (a) A judgment is discharged and any abstract of judgment or judgment lien is canceled and released without further action in any court and may not be enforced if:
(1) the lien is against real property owned by the debtor before a petition for debtor relief was filed under federal bankruptcy law; and
(2) the debt or obligation evidenced by the judgment is discharged in the bankruptcy.
Note that pursuant to section 52.043 of the Texas Property Code, the Property must have been claimed as exempt for the above to apply.
Hope this helps.
In Florida, you enjoy a homestead exemption on your property if it is your primary residence. You could likely have had this removed in the Chapter 7 case (there are reaons not evident in your facts that could restict what I just said mind you), but you can also do it outside of bankruptcy using a 45 day procedure provided for under Florida law. In a nutshell, the credit card company does not have to remove the "lien" on your house. What you have is not actually a lien, but a cloud on your title which you must take affirmative action to remove.
You can hire a lawyer to do this if you like, but you should be able to find the procedure pretty easily by Googling and I think you'll find it easy to navigate on your own -- something I rarely say on this forum by the way.
No...you should have filed an avoidance motion with the Court and argued for avoiding the judicial lien. You can however, motion the court to reopen the case, and then file your motion to avoid the judicial lien. A judicial lien such as this can be avoided to the extent the lien impairs an available property exemption.