Model-guided design of single-cargo, dual-attractor gene circuits