Failing call sequences are not pretty printed

[ijt]

Here is an example of output when a test fails:

...
Shrinking .(1 time(s))
[{set,{var,1},{call,kv_store,put,[c,'3']}},{set,{var,2},{call,kv_store,erase,[c]}},{set,{var,3},{call,kv_store,put,[c,'3']}}]
History: [{[],''},{[{c,'3'}],'3'},{[],'3'}]
State: []
Res: {postcondition,false}

The call sequence could be more readably printed by putting it through Erlang's rp/1 function first:

[{set,{var,1},{call,kv_store,put,[c,'3']}},
{set,{var,2},{call,kv_store,erase,[c]}},
{set,{var,3},{call,kv_store,put,[c,'3']}}]