Add stateful property-based tests using rapid#175

pgr0ss wants to merge 1 commit intomainpgr0ss/pgledger:mainfrom

pgross/add-stateful-property-based-tests-using-rapidpgr0ss/pgledger:pgross/add-stateful-property-based-tests-using-rapidCopy head branch name to clipboard