A first very preliminary version of gpdb_verify is available.