Function compile_bindings_with_opts 

pub fn compile_bindings_with_opts(
    ops: &[ParsedOp],
    source_dir: Option<&Path>,
    strict: bool,
) -> Result<ScopeKernel, String>

Compile all bindings from a set of ParsedOps into a Polydat Kernel.

When strict is true, the Polydat compiler enforces:

• Explicit input ...: u64 declaration (no inference)
• All module arguments must be named (no positional)
• All module inputs must be provided by caller (no fallthrough)