Heretik is a Chicago-based software company using machine learning to make the contract review process easier and smarter.