Refactor theorist to use temp conjecture files
Fix bug in conjecture_diverge