f2fcbf7f485987b6

fix(storage-proofs): spec sync

The first round of updating naming and adjusting some smaller things better matching the spec.

Important to note
- fixed logic in tapering, such that it starts at the last layer note the first
- split labeling proofs and encoding proofs
- add missing round of labeling proofs for the last layer
- add missing checks for column proof
- improve efficiency of the comm_r check