Replication Data for Article: Towards Automated Verification of Smart Contract Fairness