That was a problem when testing code was expensive to create and expensive to update. That's no longer the case.

Plus, SQLite famously has 590x the test core compared to the implementation code, and they wrote that by hand! https://sqlite.org/testing.html