Raymond Chen has a nice article about NOPs that had to be used on the 386 in Windows 95:
https://blogs.msdn.microsoft.com/oldnewthing/20110112-00/?p=...
https://blogs.msdn.microsoft.com/oldnewthing/20110112-00/?p=...
My brain hurts imagining how they figured out and verified that this bug exists.