ZJIT: Constant-fold IsNil

If we see `IsNil(nil)` or `IsNil(definitely-not-nil)`, we can fold it to `CBool[true]` or `Cbool[false]`. Add this case in `fold_constants` and use similar logic to that in `infer_type`

Add an HIR tests in opt_tests