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.