Engineering high-titer lentiviral vectors for robust expression of RNA-based gene circuits | Synapse