Texas Lt. Gov. Lists Crypto, Prediction Markets in Charges to Senate