Dynast: Inclusive and efficient quantification of metabolically labeled transcripts in single cells Metabolic labeling validation and benchmarks Splicing validation and benchmarks