Cap Undelegation for Vesting Accounts

[alexanderbez]

Proposal to limit the deduction from DelegatedVesting by at most DelegatedVesting during undelegation, due to the fact that an undelegation amount may exceed the original (vesting) delegation amount.

/cc @cwgoes @jaekwon @rigelrozanski @zmanian

---

• Targeted PR against correct branch (see CONTRIBUTING.md)

• Linked to github-issue with discussion and accepted design OR link to spec that describes this work.

• Wrote tests

• Updated relevant documentation (docs/)

• Added entries in PENDING.md with issue #

• rereviewed Files changed in the github PR explorer

---

For Admin Use:

• Added appropriate labels to PR (ex. wip, ready-for-review, docs)
• Reviewers Assigned
• Squashed all commits, uses message "Merge pull request #XYZ: [title]" (coding standards)

[alexanderbez]

Multi-seed sim failing w/ weird faults:

seed 123, 582 (probably the rest):

 Validator consensus-address D32D82B20BA034E82966BDCC214A12627D188562 not found

This comes from handleDoubleSign. Thoughts @cwgoes or @rigelrozanski?

[codecov]

Codecov Report

Merging #3718 into develop will increase coverage by <.01%.
The diff coverage is 100%.

@@             Coverage Diff             @@
##           develop    #3718      +/-   ##
===========================================
+ Coverage    61.15%   61.16%   +<.01%     
===========================================
  Files          190      190              
  Lines        14008    14009       +1     
===========================================
+ Hits          8567     8568       +1     
  Misses        4905     4905              
  Partials       536      536

[cwgoes]

This seems to be superseded by #3717.

[alexanderbez]

Yeah I guess we can close it ☹️