Formatting and verifying MFM hard disks