A MariaDB cluster integrity checker