d87166547c1781191d305db139cdf2259676a8f2 bump version to 8.0.2 (Andrew Poelstra)
545b79a7fd3c30ab1ca25b20738a312bf802fdb9 concrete: fix infinite recursion in Policy (Andrew Poelstra)
a91c85a6ffaf726a994f628cf859d8e46017d7b8 semantic: fix todo and infinite recursion in Policy (Andrew Poelstra)

Pull request description:

  I think this is the last of the rust-miniscript versions in common use.

ACKs for top commit:
  sanket1729:
    utACK d87166547c1781191d305db139cdf2259676a8f2

Tree-SHA512: df36d9b3fb6f3c6a2888a7b352d9cde174c368a559b1536b0427f66e642b0b7a9d40718e1a551a9a2aa7cac73f22f0fb1b41bfed4b5dfde3f6549b6d5e9dc560