DataLayout consistency check