Remove bugged assertions.
Add ML_STRINGIZE macro.
Simplify assertion info.