Thank you for being another voice evangelizing property testing. We need more of it across the entire software industry and especially on projects that need to be very well understood. I don’t work on Bitcoin Core specifically, but I wholeheartedly encourage you to keep pushing on this frontier 
.