Mismatched comparison when assessing finality

[djrtwo]

@yzhang90 noticed that comparing current_dynasty_votes and total_curdyn_deposits happens after proc_reward(

casper/casper/contracts/simple_casper.v.py

Line 447 in d5aed93

if (current_dynasty_votes >= self.total_curdyn_deposits * 2 / 3 and

), which means current_dynasty_votes is the value before the proc_reward but total_curdyn_deposits is the value after proc_reward. This seems unintentional. Both should comparison should likely happen between the two values prior to the reward inclusion or after the reward inclusion. Not with one of the values before and one after.

@karlfloersch I wanted to make sure this is a bug and not an intentional feature before I move forward with changing it.

[djrtwo]

This is a bug. I'll spec it more closely and get it fixed soon.

[djrtwo]

We plan to bulk update the total deposit variables from the vote rewards in initialize_epoch in this issue #158

Ensure that when a PR is submit for #158 that this is no longer an issue