in merkledb/src/merkledb_debug.rs [286:293]
fn all_invariant_checks(&self) -> bool {
self.db_invariant_checks()
&& self.check_reachability_invariant()
&& self.check_hash_invertibility_invariant()
&& self.every_root_is_cas_and_file_reachable_invariant()
&& self.validate_every_cas_node_hash()
&& self.check_parent_invariant_basic()
}