Mechanism to add padding to the disk
Make FileId equality work on MockIds. MockIds use a list of pairs rather than ByteData. Move gunzip to a hypothesis of the definitions