This feels like the kind of bug I catch early in implementation using quickcheck x_x Is property based testing used in the development of these kinds of systems?
Which would totally work if you have a super high resolution full system simulation. Hardware, software, mechanical and electrical interconnections all need to be simulated for issues like this to be found automatically.