Map<K,V> checks rely on C asserts

[lgeretti]

We shall make C assert calls ARIADNE_ASSERT for that class, since it is not performance-critical and instead it yields errors that are not even caught properly in our testing framework.