TypeSafe AI raised $870 million in a round led by a16Z.