Do comparisons in the reals by default

[HazardousPeach]

Adds the --double-comparisons flag to revert to the old behavior. This will be useful for improvement when you're unwilling to go over double precision (Herbie, etc).