Add ud86 for use as an oracle. Work toward implementing this test.