implemented run in dnaSequencing.ml. Type checks but I'm not sure if it's correct.