add current version of safety oracle

[naterush]

TODO:

• [ ] formalize induction on minimal transitions
• [ ] change language from safety -> decisions to be consistent with main paper
• [ ] major cleanup, refactoring, and sanity checking :)

[goral09]

What's the status of this? This PR hasn't been given love in a while and it's pretty important.