Gravar-mail: Efficient and verified simulation of a path ensemble for conformational change in a united-residue model of calmodulin