Removing parameter m_do_flush_directly_to_hd.
Starting a check_invariants() function to check size and memory limits.