Consider accelerating the library core

Adding more and more checks may end up having a prohibitive cost. Turning some core functionalities to C (C++ or Cython) may make sense in the long run to speed up some checks.
I am in particular in mind availability checks and cache checks.