Iterative design of a NAND hybrid riboswitch by deep batch Bayesian optimization | Synapse