If you feel like reviving this old PR from of mine from back in the day it might be useful: [POC] Introducing property based testing to Core by Christewart · Pull Request #8469 · bitcoin/bitcoin · GitHub
However IIRC this ended up being viewed as redundant with our fuzzing infrastructure.