Add a checksum to dump files #194
Description
It might be a good idea to add a checksum to the dump files. It's not super urgent given that we already handle crashes properly, but this will protect us too from hardware failures or corruption. But it should be quite easy to implement too and it should have a very small performance hit, so it might worth it.