This checks that all the required extensions are enabled for the inferred type signature. Updates binary and vector submodules.