Re-reads the file and checks that msf's stream directory and free-page map agree with it.
msf
verify_integrity :: (msf: Msf) -> bool
Jacket
Jacket