We have added support for leader mode in disaggregated storage in test/format. While the basic functionality is in place, additional data validation is needed to ensure data integrity. This involves verifying that the data inserted is exactly what is read back, helping detect corruption or inconsistency bugs. One possible approach is to use mirrored tables in test/format for cross-checking.