Finished implementing a modification of the Markov chain of Jerrum and Sinclair.