Add mp_check_XXX functions
Add __attribute__((const)) for mp_sizeof_XXX functions
Add __attribute__((pure))
Remove explicit int -> uint promotion.

Closes #1.