Merge branch 'feature/blanchard/instantiate/fix-crashes-after-fuzzing' into 'master'

headers/header_spec.txt

src/plugins/instantiate/Instantiate.mli

src/plugins/instantiate/Makefile.in

src/plugins/instantiate/global_context.ml

src/plugins/instantiate/global_context.mli

src/plugins/instantiate/instantiator_builder.ml

src/plugins/instantiate/instantiator_builder.mli

src/plugins/instantiate/stdlib/basic_alloc.ml

src/plugins/instantiate/stdlib/calloc.ml

src/plugins/instantiate/stdlib/free.ml

src/plugins/instantiate/stdlib/malloc.ml

src/plugins/instantiate/string/mem_utils.ml

src/plugins/instantiate/string/mem_utils.mli

src/plugins/instantiate/string/memcmp.ml

src/plugins/instantiate/string/memcpy.ml

src/plugins/instantiate/string/memmove.ml

src/plugins/instantiate/string/memset.ml

...stantiate/tests/api/external_instantiator_registration.ml

...tantiate/tests/options/oracle/ignore-functions.res.oracle

...nstantiate/tests/options/oracle/only-functions.res.oracle