Efficient and verified simulation of a path ensemble for conformational change in a united-residue model of calmodulin | Synapse