Genetic Markers Remain Detectable in Genetically Engineered Microbes Biocontained with a CRISPR Kill Switch | Synapse