CONTRACTS: don't check DFCC library functions

Pointer checks, etc. are disabled on the library functions
to avoid an explosion of the number of checks on instrumented
programs on the instrumentation code itself,
which is trusted to be free of pointer errors, by virtue
of the manually added assertions it already contains.

Author: Remi Delmas