True, but this way you can endup with so much testing code being 10x your core implementation.

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