pub const PROVEN_PER_SEGMENT: usize = _; // 64usizeExpand description
The maximum number of segments whose justification can be included in a single segment-sized
proof-page. Basically just the highest power of 2 which when multiplied by 32 (the size of a
hash) leaves enough room from 4104 (the size of a segment) to fit a partial Merkle proof of
6 branches (6 * 32 = 192) plus the overhead for storing the actual number of hashes (should be
one byte for PROVEN_PER_SEGMENT < 128). It turns out that this is 2^6 = 64.
See max_prefix_proof_len for the actual formula.