Remove dependence on cobbe/contract-utils.plt.
Remove dependence on dherman/test.plt
Add dependencies.