Design And Verification Of Modular Components In Thermodynamic Binding Networks