I don't believe that is a binding, enforceable provision despite the points you mentioned. Any real attempt for Texas to secede would undoubtedly involve armed conflict with the union; civil war. There are no circumstances in which the USA would simply allow Texas to exit the union and become their own country. The federal government has too many investments, and installations in the state, not to mention taxable individuals. It's just not going to happen.