Aggregate PoRep

[ZenGround0]

Changes needed for introducing aggregate porep verification into the network.

• [x] Implement ProveCommitAggregate
• [x] VM tests of ProveCommit and ProveCommitAggregate to measure gas costs
• [x] Batch market ComputeDataCommitment call to save gas
• [x] ComputeDataCommitment testing
• [x] Check power claim during ProveCommitAggreagate to retain safety properties protecting against programmer error in deadline code
• [ ] ~Accurate gas table~
• [ ] ~Final min and max aggregate batch parameters and max proof size parameter~
• [x] Extend sector precommit expiry
• [x] AggregateProofType for upgradeability
• [x] Unit (and or more extensive VM) tests of ProveCommitAggregate

--edit-- I'm calling final Gas and param estimation out of scope because we'll need to merge this into lotus to start gas rebalancing. We will do the final parameter setting in another PR.

Closes #1257.

[codecov-io]

Codecov Report

Merging #1381 (b3317b8) into master (ddca3ba) will decrease coverage by 0.6%. The diff coverage is 25.4%.

@@           Coverage Diff            @@
##           master   #1381     +/-   ##
========================================
- Coverage    64.9%   64.3%   -0.7%     
========================================
  Files          81      81             
  Lines        8197    8287     +90     
========================================
+ Hits         5328    5333      +5     
- Misses       1977    2062     +85     
  Partials      892     892             

[codecov-commenter]

Codecov Report

Merging #1381 (68bfbe1) into master (f6a8d2a) will decrease coverage by 0.0%. The diff coverage is 77.7%.

@@           Coverage Diff            @@
##           master   #1381     +/-   ##
========================================
- Coverage    69.6%   69.6%   -0.1%     
========================================
  Files          72      72             
  Lines        7690    7795    +105     
========================================
+ Hits         5356    5429     +73     
- Misses       1443    1465     +22     
- Partials      891     901     +10