Typecheck corebindings lazily during bytecode generation
We type check the core_binds
before we lazily generate the byte code. This feels like we are doing unnecessary work in the case we don't need the generated bytecode itself.
Instead, we move the core bindings type check to the bytecode generation step.
Closes #24685 (closed)