Probably a lot better than 99.999% of software?
This is made by one person, with code that cannot be deterministically tested (external SQLite)
But you seem to be cargo culting, as this testing has existed in DBs for nearly a decade
It's not cargo culting. Deterministic Simulation Testing has been the standard for silicon verification practically forever (though it isn't called that because nobody does anything else).
Applying it to software is a logical step if you want similar levels of quality assurance.
Do you need that level of assurance for a database? Probably not in most cases. But I think it's a reasonable thing to mention on a post that is touting database reliability, especially because there are real databases that do use it.