Dump memory on checksum divergence and show the user the command for com...

...paring the corresponding recorder dump.

In the context of #78.

This is a partial implementation; see the TODO comment in the patch.