2020-05-21 0.8.5
Fixed DoF in verify markov property and supported input in compare teorethical