To fully be spec-compliant in the PHP driver, we need to access the transaction options that were applied when a transaction was started for a session. We can access default transaction options using mongoc_session_opts_get_default_transaction_opts, but there is no way to get the actual options that apply to the transaction after calling mongoc_client_session_start_transaction with custom options supplied.