fault_proving(compression): include commitment to transaction ids within compressed block header

fault_proving(compression): include commitment to transaction ids within compressed block header #3920