Add mk_bv_constant_from_int

Also switch to invalid_argument error for mk_sub
Improve comments