Gravar-mail: Design and analysis of DNA strand displacement devices using probabilistic model checking