At the moment we have the option to delete segments from the middle of the archive via the FileWriteAheadLogManager#truncate. This creates gaps in the archive and makes it invalid.
It should be possible to delete segments sequentially up to the upper boundary. It has also been found that there is no protection against segment deletion, which may be needed for a binary recovery.
Also need to get rid of the physical check when reserving segments through the FileWriteAheadLogManager#reserve.