Ripple CEO Says IPO Is Not “High Priority”