add pact:verify to devloping instructions