Traced_storage/Test: add raw tests and PBT

Marked as draft until the status of !61 (closed) is cleared up. To be merged after !66 (merged)

Meta-issue: tezos/tezos#1647

This MR adds "raw" unit tests (with full examples for expected values) and PBT through QCheck.