oracle tests now include the core tests (#23)