Introduce proptesting, starting with CheckPoint::range#1397

evanlinjin merged 1 commit intobitcoindevkit:masterbitcoindevkit/bdk:masterfrom

evanlinjin:fix/1354-proptestevanlinjin/bdk:fix/1354-proptestCopy head branch name to clipboard