OK, that's fair. But one interesting case in that space is where the production code is highly optimized to be performant at the expense of simplicity. Writin

OK, that's fair. But one interesting case in that space is where the production code is highly optimized to be performant at the expense of simplicity. Writing an easy-to-understand but stupid-slow oracle is often a worthwhile strategy.