Herbie 1.2 Beta

Herbie's third release significantly improves Herbie's creativity and accuracy, with a better system for inferring branches, a new binary search technique to make those branches more accurate, and bigger defaults for various search parameters to ensure Herbie always delivers the most accurate results.