Integer overflow causes coverage data to be incorrectly written to disk

When coverage data size in bytes > Integer.MAX_INT, integer overflow and some incorrect logic cause underwriting of the data and invalid segment header values.