Spec reference

The specs say we should assert that command documents are properly constructed with or without a transaction ID, depending on whether the write operation is supported. We currently don't check for that behavior explicitly.