fix: ensure padding bytes for `lean::mpz` objects in olean files are zero#11485

Kha merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

eric-wieser:compactor-mpzeric-wieser/lean4:compactor-mpzCopy head branch name to clipboard