Validate inferred theta. Fixes #8883

This checks that all the required extensions are enabled for the
inferred type signature.

Updates binary and vector submodules.