Property-based testing for Bitcoin Core

[bruno]

@Chris_Stewart_5

That said, shameless plug i think the 64bit arithmetic work would be a great place to start with property based testing. Its “simple” in the sense that we are just doing arithmetic. You could even test the existing opcodes (OP_ADD, OP_SUB…) if you don’t want to speculate on this soft fork getting activated, but want to test something straightforward.

Yes, it sounds a good place for property-based testing