Rectify `from_multi_a` max satisfaction size#346

sanket1729 merged 1 commit intorust-bitcoin:masterrust-bitcoin/rust-miniscript:masterfrom

SarcasticNastik:extra-prop-satisfactionSarcasticNastik/rust-miniscript:extra-prop-satisfactionCopy head branch name to clipboard