Fuzz kyber dao

[ducquangkstn]

This PR depends on https://github.com/KyberNetwork/smart-contracts/pull/963 about generate functions for staking-contract We want to test the correctness of kyberDao, so this PR will assume that kyberStaking is implemented correctly and only check the state of kyberDao

Checklist

• [x] Generated function for both dao and staking
• [x] Deposit and Delegate will not change vote-data
• [x] Create and cancel campaign
• [x] Vote and withdraw can change
• [x] Claim reward
• [x] Check at the start of epoch, the result of campaign

[ducquangkstn]

best to organise so only high level errors are printed to screen

the result of each epoch and the summary info are printed other info is at debug.log

warn: No campaign to checkWinningCampaign epoch=100

this is mostly config issue. the epoch size may be too short or the possibility to create an epoch is too low Therefore, no campaign is created at that epoch