Fix up mixup of age/height - #424

Fix up mixup of age/height#424

sanket1729 merged 5 commits into

rust-bitcoin:masterrust-bitcoin/rust-miniscript:masterfrom

tcharding:06-03-rename-age-heighttcharding/rust-miniscript:06-03-rename-age-heightCopy head branch name to clipboard