fix[next]: Fix different static args after with_backend

[tehrengruber]

The following snippet broke after #2368

prg1 = prog.with_backend(gtfn.run_gtfn)
prg2 = prog.with_backend(gtfn.run_gtfn)

# compile with static args
prg1.compile(cond=[True], offset_provider={})

# compile without static args
prg2.compile(offset_provider={})

with the following error

ValueError: Argument descriptor StaticArg must be the same for all compiled programs, got [] expected ['cond'].

This PR avoids using object.__setattr__ on the CompilationOptions to pass information to the compiled program pool construction and instead explicitly constructs the pool on compile.

Note that the enable_jit argument to compile has been removed and replaced by:

prg.with_compilation_option(enable_jit=...)

as the same object.__setattr__ mechanism was used to pass the information.

[egparedes]

It looks good. Just some typos questions and code suggestions. It should be approved in the next round.

[egparedes]

Question: wouldn't it be simpler to just default to an empty tuple?

Suggested change

	static_params: Sequence[str] | None = None
	static_params: Sequence[str] = ()

[tehrengruber]

I first changed it to be (), but I found it hard to understand under which circumstances it is ok for this value to be different than what is inside the compiled programs pool. I therefore went back to None here and set the value to () in _compiled_programs when the value is actually selected. I'll change it back when you like.

[egparedes]

Question: do you understand why the cast is used/needed here after the assert?

[tehrengruber]

Unclear:

error: Incompatible types in assignment (expression has type "tuple[str | None, ...]", variable has type "tuple[str, ...]")

[egparedes]

Ah, I get it. mypy does not understand the all() inside the assert. A custom typeguard would be needed here, but it can be done in a different PR.

[egparedes]

Suggested change

	def with_compilation_option(
	def with_compilation_options(

or compile_options() I don't care

[egparedes]

LGTM