Added Invariants and Oracle Configurations to the CrawlRunner