1. I've looked at how Turso verifies the correctness of their db and I'm satisfied with it.

2. Turso supports features I want that don't exist and will not exist in sqlite.

I mean this is pretty obvious, I'm not using sqlite because it doesn't do what I want it to do. I also don't understand the repeated "sqlite is the best tested software" sentiment. I don't care if it's the best tested if it doesn't do what I want it to do.