update help msg

--no-floats
--no-integers
--no-pointers
added an assert