Reduce proof size

[bobbinth]

1. Add proof-of-work to Merkle trees
2. Potentially refactor low-degree proof structure to avoid redundant sampling