move Bounds verification file.
Compiler changes:
  * Add min, max AST expression.
  * Fix bug in Overflow checking.
  * Add back forever def in ivory.h.