Fixed assertions.

Added several assertion exceptions. Fixed up the assert macros to use
these assertions (general, is null, is not null). Changed verify to
always be run. Minor re-spelling of some assertion macros.