Fix small compilation issues

* Add missing “<assert.h>” file header inclusion
* Do not define ARRAY_SIZE if it is already defined
* “mpconfigport.h” is a library header, not a system header