We need to actually log read-only txns to ensure serializability