Why did you choose Rust under the hood and Python on top for GraphBit? What business and technical benefits did it deliver, and what trade-offs came with it? If you were starting today, would you make the same choice?