Combinatorial Macrocyclizations under Thermodynamic Control: The Two-Monomer Case