fix: get_padding for larger costs and padding lengths#356

delta1 wants to merge 1 commit intoBlockstreamResearch:masterBlockstreamResearch/rust-simplicity:masterfrom

delta1:fix/get_paddingdelta1/rust-simplicity:fix/get_paddingCopy head branch name to clipboard