Andreessen Horowitz leads $870M round for AI startup TypeSafe at $7.5B value Dealroom