I know there is work on differential fuzzing for Bitcoin node implementations to surface incompatibilities. Same for Lightning I think. I dont know about SRI/SV2 work in this regard.

It's probably too early but this is definitely something I think we'll need.

Actually I think that would be pretty cool. Probably also not too crazy of an effort, since it is well specced.