Will Quantstamp Bring Trust To Smart Contracts?