The sales funded most of a $1 billion face-value note repurchase; MARA separately outlined plans to expand into AI and high-performance computing.