Mempool consistency check