How much has Turso raised so far? Rewriting SQLite sounds like it may cost a sum.