Certified encodings for proof logging #896

Job	Run time
Build (ubuntu-latest)	45s
Build (macos-latest)	1m 25s
linux (x86_64)	1m 28s
Build (windows-latest)	3m 33s
linux (x86)	2m 7s
linux (aarch64)	1m 48s
linux (armv7)	1m 54s
macos (x86_64)	1m 12s
linux (s390x)	1m 46s
macos (aarch64)	1m 7s
linux (ppc64le)	1m 45s
Test python stubs	44s
Ensure Python API crate version is in sync	2s
sdist	23s
windows (x64)	3m 1s
windows (x86)	4m 3s
Release	0s
	27m 3s

Provide feedback