Warn user if big M provided is too small

[hdavid16]

Infer tightest big M value with the interval arithmetic, then make sure the M provided is not less than this value.