Blockchain powered asset management software, Melonport in partnership with Oyente announces smart contracts verification tool.