Test.Story: machine readable Show for propObjectsDontDisappear
Test.Story: more explicit pre-conditions for functions (topic "empty lists")
Test.Story: fix: maximum crashes if no serial numbers have been handed out yet.
Test.Story: make quickCheck produce machine-readable counter-examples for inspection (almost there...)