fn verify_transaction_modes(
    modes: Vec<TransactionMode>
) -> Result<(Option<TransactionAccessMode>, Option<TransactionIsolationLevel>), PlanError>