Debugging auto oracle verification failures: added hacky ability to really replay a control sequence for user review
Config updates (eval caching)
Analysis script tweak