disastrous quickcheck-like testing framework - let the disaster happen during development, not after deployment