TypeSafe AI raised $870 million in a funding round led by Andreessen Horowitz.