missing all_finite simplifications

```julia
julia> fn(x) = x == -Inf
fn (generic function with 1 method)

julia> @code_hlo compile_options=CompileOptions(; all_finite=true) fn(ConcreteRNumber(3.0))
module @reactant_fn attributes {mhlo.num_partitions = 1 : i64, mhlo.num_replicas = 1 : i64} {
func.func @main(%arg0: tensor) -> tensor {
%cst = stablehlo.constant dense<0xFFF0000000000000> : tensor
%0 = stablehlo.compare EQ, %arg0, %cst : (tensor, tensor) -> tensor
return %0 : tensor
}
}

julia> @code_hlo compile_options=CompileOptions(; all_finite=true, no_nan=true) fn(ConcreteRNumber(3.0))
module @reactant_fn attributes {mhlo.num_partitions = 1 : i64, mhlo.num_replicas = 1 : i64} {
func.func @main(%arg0: tensor) -> tensor {
%cst = stablehlo.constant dense<0xFFF0000000000000> : tensor
%0 = stablehlo.compare EQ, %arg0, %cst : (tensor, tensor) -> tensor
return %0 : tensor
}
}
```

Reproduce the issue with the shown fn(x) = x == -Inf example and @code_hlo using CompileOptions(; all_finite=true) and no_nan=true. Trace the HLO generation path for these options and compare the emitted IR; done means the redundant comparison is simplified under the applicable finiteness assumptions.

Written by the indexing model from the issue text.