TypeSafe AI has raised about $870 million at a $7.5 billion valuation in a financing led by Andreessen Horowitz