Fuzz testing is an absolute must for any database (or any sophisticated system/program whatsoever). Trying to compose the edge-cases manually is tedious, hard to review, and is likely to still live a lot uncovered. Randomised tests are easier to develop, maintain and run.