I've definitely seen a number of files where the implementation is maybe like 500 LOC and the test file is 10000+ LOC.

I agree rigidly defining exactly what the code does through tests is harder than people think.